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