| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:6:22 |
| | |
| LL | fn option(i: i32) -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | if i < 0 { None } else { Some((option(i - 1), i)) } |
| | ---- ------------------------ returning here with type `Option<(impl Sized, i32)>` |
| | | |
| | returning here with type `Option<(impl Sized, i32)>` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:11:15 |
| | |
| LL | fn tuple() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | (tuple(),) |
| | ---------- returning here with type `(impl Sized,)` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:16:15 |
| | |
| LL | fn array() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | [array()] |
| | --------- returning here with type `[impl Sized; 1]` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:21:13 |
| | |
| LL | fn ptr() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | &ptr() as *const _ |
| | ------------------ returning here with type `*const impl Sized` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:26:16 |
| | |
| LL | fn fn_ptr() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | fn_ptr as fn() -> _ |
| | ------------------- returning here with type `fn() -> impl Sized` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:31:25 |
| | |
| LL | fn closure_capture() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| ... |
| LL | / move || { |
| LL | | x; |
| | | - closure captures itself here |
| LL | | } |
| | |_____- returning here with type `{closure@$DIR/recursive-impl-trait-type-indirect.rs:34:5: 34:12}` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:39:29 |
| | |
| LL | fn closure_ref_capture() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| ... |
| LL | / move || { |
| LL | | &x; |
| | | - closure captures itself here |
| LL | | } |
| | |_____- returning here with type `{closure@$DIR/recursive-impl-trait-type-indirect.rs:42:5: 42:12}` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:47:21 |
| | |
| LL | fn closure_sig() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | || closure_sig() |
| | ---------------- returning here with type `{closure@$DIR/recursive-impl-trait-type-indirect.rs:49:5: 49:7}` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:52:23 |
| | |
| LL | fn coroutine_sig() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | || coroutine_sig() |
| | ------------------ returning here with type `{closure@$DIR/recursive-impl-trait-type-indirect.rs:54:5: 54:7}` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:57:27 |
| | |
| LL | fn coroutine_capture() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| ... |
| LL | / move || { |
| LL | | yield; |
| LL | | x; |
| | | - coroutine captures itself here |
| LL | | } |
| | |_____- returning here with type `{coroutine@$DIR/recursive-impl-trait-type-indirect.rs:60:5: 60:12}` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:66:35 |
| | |
| LL | fn substs_change<T: 'static>() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | (substs_change::<&T>(),) |
| | ------------------------ returning here with type `(impl Sized,)` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:76:26 |
| | |
| LL | fn mutual_recursion() -> impl Sync { |
| | ^^^^^^^^^ recursive opaque type |
| LL | |
| LL | mutual_recursion_b() |
| | -------------------- returning here with type `impl Sized` |
| ... |
| LL | fn mutual_recursion_b() -> impl Sized { |
| | ---------- returning this opaque type `impl Sized` |
| |
| error[E0720]: cannot resolve opaque type |
| --> $DIR/recursive-impl-trait-type-indirect.rs:81:28 |
| | |
| LL | fn mutual_recursion() -> impl Sync { |
| | --------- returning this opaque type `impl Sync` |
| ... |
| LL | fn mutual_recursion_b() -> impl Sized { |
| | ^^^^^^^^^^ recursive opaque type |
| LL | |
| LL | mutual_recursion() |
| | ------------------ returning here with type `impl Sync` |
| |
| error: aborting due to 13 previous errors |
| |
| For more information about this error, try `rustc --explain E0720`. |