src/test/ui/issues/issue-57399-self-return-impl-trait.rs

   1 // check-pass
   2
   3 trait T {
   4     type T;
   5 }
   6
   7 impl T for i32 {
   8     type T = u32;
   9 }
  10
  11 struct S<A> {
  12     a: A,
  13 }
  14
  15
  16 impl From<u32> for S<<i32 as T>::T> {
  17     fn from(a: u32) -> Self {
  18         Self { a }
  19     }
  20 }
  21
  22 fn main() {}