1 error[E0080]: evaluation of `<Sum<U8, U8> as Unsigned>::MAX` failed
2 --> $DIR/issue-50814.rs:15:21
4 LL | const MAX: u8 = A::MAX + B::MAX;
5 | ^^^^^^^^^^^^^^^ attempt to compute `u8::MAX + u8::MAX`, which would overflow
7 error[E0080]: evaluation of `foo::<T>` failed
8 --> $DIR/issue-50814.rs:21:6
10 LL | &Sum::<U8, U8>::MAX
11 | ^^^^^^^^^^^^^^^^^^ referenced constant has errors
13 error[E0080]: evaluation of `<Sum<U8, U8> as Unsigned>::MAX` failed
14 --> $DIR/issue-50814.rs:15:21
16 LL | const MAX: u8 = A::MAX + B::MAX;
17 | ^^^^^^^^^^^^^^^ attempt to compute `u8::MAX + u8::MAX`, which would overflow
19 error[E0080]: evaluation of `foo::<i32>` failed
20 --> $DIR/issue-50814.rs:21:6
22 LL | &Sum::<U8, U8>::MAX
23 | ^^^^^^^^^^^^^^^^^^ referenced constant has errors
25 note: the above error was encountered while instantiating `fn foo::<i32>`
26 --> $DIR/issue-50814.rs:27:5
31 error: aborting due to 4 previous errors
33 For more information about this error, try `rustc --explain E0080`.