src/test/ui/query-system/issue-83479.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 type PairCoupledTypes: Trait<
   4     //~^ ERROR: bounds on `type`s in this context have no effect
   5     //~| ERROR: cannot find trait `Trait` in this scope
   6     [u32; {
   7         static FOO: usize; //~ ERROR: free static item without body
   8     }],
   9 > = impl Trait<
  10     //~^ ERROR: cannot find trait `Trait` in this scope
  11     [u32; {
  12         static FOO: usize; //~ ERROR: free static item without body
  13     }],
  14 >;
  15
  16 fn main() {}