23 lines
216 B
Rust
23 lines
216 B
Rust
//@ 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() {}
|