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

   1 error[E0277]: the trait bound `(): Foo<N>` is not satisfied
   2   --> $DIR/exhaustive-value.rs:267:5
   3    |
   4 LL |     fn test() {}
   5    |     --------- required by `Foo::test`
   6 ...
   7 LL |     <() as Foo<N>>::test()
   8    |     ^^^^^^^^^^^^^^^^^^^^ the trait `Foo<N>` is not implemented for `()`
   9    |
  10    = help: the following implementations were found:
  11              <() as Foo<0_u8>>
  12              <() as Foo<100_u8>>
  13              <() as Foo<101_u8>>
  14              <() as Foo<102_u8>>
  15            and 252 others
  16
  17 error: aborting due to previous error
  18
  19 For more information about this error, try `rustc --explain E0277`.