1 middle_drop_check_overflow =
2 overflow while adding drop-check rules for {$ty}
3 .note = overflowed on {$overflow_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 =
15 middle_limit_invalid =
16 `limit` must be a non-negative integer
19 middle_const_eval_non_int =
20 constant evaluation of enum discriminant resulted in non-integer
22 middle_unknown_layout =
23 the type `{$ty}` has an unknown layout
25 middle_values_too_big =
26 values of the type `{$ty}` are too big for the current architecture
28 middle_cannot_be_normalized =
29 unable to determine layout for `{$ty}` because `{$failure_ty}` cannot be normalized
31 middle_strict_coherence_needs_negative_coherence =
32 to use `strict_coherence` on this trait, the `with_negative_coherence` feature must be enabled
33 .label = due to this attribute