src/test/ui/associated-types/issue-55846.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

// run-pass

// Regression test for #55846, which once caused an ICE.

use std::marker::PhantomData;

struct Foo;

struct Bar<A> {
    a: PhantomData<A>,
}

impl Fooifier for Foo {
    type Assoc = Foo;
}

trait Fooifier {
    type Assoc;
}

trait Barifier<H> {
    fn barify();
}

impl<H> Barifier<H> for Bar<H> {
    fn barify() {
        println!("All correct!");
    }
}

impl Bar<<Foo as Fooifier>::Assoc> {
    fn this_shouldnt_crash() {
        <Self as Barifier<<Foo as Fooifier>::Assoc>>::barify();
    }
}

fn main() {
    Bar::<Foo>::this_shouldnt_crash();
}