mirror of https://github.com/rust-lang/rust
139 lines
4.8 KiB
Plaintext
139 lines
4.8 KiB
Plaintext
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:62:5: 62:12}`
|
|
|
|
error[E0720]: cannot resolve opaque type
|
|
--> $DIR/recursive-impl-trait-type-indirect.rs:68: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:78: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:83: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`.
|