blob: c7fe40e7b506c0844de58064cd7ed7812b08946e [file] [log] [blame]
// 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() {}