src/test/ui/const-generics/defaults/trait_objects_fail.stderr

   1 error[E0277]: the trait bound `u32: Trait` is not satisfied
   2   --> $DIR/trait_objects_fail.rs:28:9
   3    |
   4 LL |     foo(&10_u32);
   5    |     --- ^^^^^^^ the trait `Trait` is not implemented for `u32`
   6    |     |
   7    |     required by a bound introduced by this call
   8    |
   9    = help: the following implementations were found:
  10              <u32 as Trait<2_u8>>
  11    = note: required for the cast to the object type `dyn Trait`
  12
  13 error[E0277]: the trait bound `bool: Traitor<{_: u8}, {_: u8}>` is not satisfied
  14   --> $DIR/trait_objects_fail.rs:30:9
  15    |
  16 LL |     bar(&true);
  17    |     --- ^^^^^ the trait `Traitor<{_: u8}, {_: u8}>` is not implemented for `bool`
  18    |     |
  19    |     required by a bound introduced by this call
  20    |
  21    = help: the following implementations were found:
  22              <bool as Traitor<2_u8, 3_u8>>
  23    = note: required for the cast to the object type `dyn Traitor<{_: u8}, {_: u8}>`
  24
  25 error: aborting due to 2 previous errors
  26
  27 For more information about this error, try `rustc --explain E0277`.