src/test/ui/const-generics/exhaustive-value.stderr

   1 error[E0277]: the trait bound `(): Foo<N>` is not satisfied
   2   --> $DIR/exhaustive-value.rs:262:5
   3    |
   4 LL |     <() as Foo<N>>::test()
   5    |     ^^^^^^^^^^^^^^^^^^^^ the trait `Foo<N>` is not implemented for `()`
   6    |
   7    = help: the following other types implement trait `Foo<N>`:
   8              <() as Foo<0_u8>>
   9              <() as Foo<100_u8>>
  10              <() as Foo<101_u8>>
  11              <() as Foo<102_u8>>
  12              <() as Foo<103_u8>>
  13              <() as Foo<104_u8>>
  14              <() as Foo<105_u8>>
  15              <() as Foo<106_u8>>
  16            and 248 others
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0277`.