summaryrefslogtreecommitdiffstats
path: root/tests/ui/query-system/issue-83479.rs
blob: 32676dfe9c8fa568ae8de1c51ec4ca35aa098628 (plain)
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() {}