summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-21946.rs
blob: d0c052cb2fd39fadc69593720402422e887a07fb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
trait Foo {
    type A;
}

struct FooStruct;

impl Foo for FooStruct {
    type A = <FooStruct as Foo>::A;
    //~^ ERROR overflow evaluating the requirement `<FooStruct as Foo>::A == _`
}

fn main() {}