1 error[E0720]: cannot resolve opaque type
2 --> $DIR/recursive-impl-trait-type-through-non-recursive.rs:7:22
4 LL | fn id<T>(t: T) -> impl Sized { t }
5 | ---------- returning this opaque type `impl Sized`
7 LL | fn recursive_id() -> impl Sized {
8 | ^^^^^^^^^^ recursive opaque type
9 LL | id(recursive_id2())
10 | ------------------- returning here with type `impl Sized`
12 error[E0720]: cannot resolve opaque type
13 --> $DIR/recursive-impl-trait-type-through-non-recursive.rs:11:23
15 LL | fn id<T>(t: T) -> impl Sized { t }
16 | ---------- returning this opaque type `impl Sized`
18 LL | fn recursive_id2() -> impl Sized {
19 | ^^^^^^^^^^ recursive opaque type
20 LL | id(recursive_id())
21 | ------------------ returning here with type `impl Sized`
23 error[E0720]: cannot resolve opaque type
24 --> $DIR/recursive-impl-trait-type-through-non-recursive.rs:17:24
26 LL | fn wrap<T>(t: T) -> impl Sized { (t,) }
27 | ---------- returning this opaque type `impl Sized`
29 LL | fn recursive_wrap() -> impl Sized {
30 | ^^^^^^^^^^ recursive opaque type
31 LL | wrap(recursive_wrap2())
32 | ----------------------- returning here with type `impl Sized`
34 error[E0720]: cannot resolve opaque type
35 --> $DIR/recursive-impl-trait-type-through-non-recursive.rs:21:25
37 LL | fn wrap<T>(t: T) -> impl Sized { (t,) }
38 | ---------- returning this opaque type `impl Sized`
40 LL | fn recursive_wrap2() -> impl Sized {
41 | ^^^^^^^^^^ recursive opaque type
42 LL | wrap(recursive_wrap())
43 | ---------------------- returning here with type `impl Sized`
45 error: aborting due to 4 previous errors
47 For more information about this error, try `rustc --explain E0720`.