src/test/ui/const-generics/issues/issue-67185-2.rs

   1 trait Baz {
   2     type Quaks;
   3 }
   4 impl Baz for u8 {
   5     type Quaks = [u16; 3];
   6 }
   7
   8 trait Bar {}
   9 impl Bar for [u16; 4] {}
  10 impl Bar for [[u16; 3]; 3] {}
  11
  12 trait Foo
  13 where
  14     [<u8 as Baz>::Quaks; 2]: Bar, //~ ERROR the trait bound `[[u16; 3]; 2]: Bar` is not satisfied [E0277]
  15     <u8 as Baz>::Quaks: Bar,  //~ ERROR the trait bound `[u16; 3]: Bar` is not satisfied [E0277]
  16 {
  17 }
  18
  19 struct FooImpl;
  20
  21 impl Foo for FooImpl {}
  22 //~^ ERROR the trait bound `[u16; 3]: Bar` is not satisfied [E0277]
  23 //~^^ ERROR the trait bound `[[u16; 3]; 2]: Bar` is not satisfied [E0277]
  24
  25 fn f(_: impl Foo) {}
  26 //~^ ERROR the trait bound `[u16; 3]: Bar` is not satisfied [E0277]
  27 //~^^ ERROR the trait bound `[[u16; 3]; 2]: Bar` is not satisfied [E0277]
  28
  29 fn main() {
  30     f(FooImpl)
  31 }