summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-57399-self-return-impl-trait.rs
blob: c7fe40e7b506c0844de58064cd7ed7812b08946e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// check-pass

trait T {
    type T;
}

impl T for i32 {
    type T = u32;
}

struct S<A> {
    a: A,
}


impl From<u32> for S<<i32 as T>::T> {
    fn from(a: u32) -> Self {
        Self { a }
    }
}

fn main() {}