error[E0080]: attempt to compute `u8::MAX + u8::MAX`, which would overflow
  --> $DIR/issue-50814.rs:16:21
   |
LL |     const MAX: u8 = A::MAX + B::MAX;
   |                     ^^^^^^^^^^^^^^^ evaluation of `<Sum<U8, U8> as Unsigned>::MAX` failed here

note: erroneous constant encountered
  --> $DIR/issue-50814.rs:22:6
   |
LL |     &Sum::<U8, U8>::MAX
   |      ^^^^^^^^^^^^^^^^^^

error[E0080]: attempt to compute `u8::MAX + u8::MAX`, which would overflow
  --> $DIR/issue-50814.rs:16:21
   |
LL |     const MAX: u8 = A::MAX + B::MAX;
   |                     ^^^^^^^^^^^^^^^ evaluation of `<Sum<U8, U8> as Unsigned>::MAX` failed here
   |
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

note: erroneous constant encountered
  --> $DIR/issue-50814.rs:22:6
   |
LL |     &Sum::<U8, U8>::MAX
   |      ^^^^^^^^^^^^^^^^^^
   |
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

note: erroneous constant encountered
  --> $DIR/issue-50814.rs:22:5
   |
LL |     &Sum::<U8, U8>::MAX
   |     ^^^^^^^^^^^^^^^^^^^

note: erroneous constant encountered
  --> $DIR/issue-50814.rs:22:6
   |
LL |     &Sum::<U8, U8>::MAX
   |      ^^^^^^^^^^^^^^^^^^
   |
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

note: the above error was encountered while instantiating `fn foo::<i32>`
  --> $DIR/issue-50814.rs:27:5
   |
LL |     foo(0);
   |     ^^^^^^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0080`.