1 middle_drop_check_overflow =
2 overflow while adding drop-check rules for {$ty}
5 middle_opaque_hidden_type_mismatch =
6 concrete type differs from previous defining opaque type use
7 .label = expected `{$self_ty}`, got `{$other_ty}`
9 middle_conflict_types =
10 this expression supplies two conflicting concrete types for the same opaque type
12 middle_previous_use_here =