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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![feature(type_alias_impl_trait)]

type PairCoupledTypes: Trait<
    //~^ ERROR: bounds on `type`s in this context have no effect
    //~| ERROR: cannot find trait `Trait` in this scope
    [u32; {
        static FOO: usize; //~ ERROR: free static item without body
    }],
> = impl Trait<
    //~^ ERROR: cannot find trait `Trait` in this scope
    [u32; {
        static FOO: usize; //~ ERROR: free static item without body
    }],
>;

fn main() {}