]>
Commit | Line | Data |
---|---|---|
f035d41b | 1 | error[E0720]: cannot resolve opaque type |
74b04a01 | 2 | --> $DIR/recursive-impl-trait-type-indirect.rs:7:22 |
0731742a | 3 | | |
532ac7d7 | 4 | LL | fn option(i: i32) -> impl Sized { |
f035d41b XL |
5 | | ^^^^^^^^^^ recursive opaque type |
6 | LL | | |
7 | LL | if i < 0 { None } else { Some((option(i - 1), i)) } | |
1b1a35ee | 8 | | ---- ------------------------ returning here with type `Option<(impl Sized, i32)>` |
f035d41b | 9 | | | |
1b1a35ee | 10 | | returning here with type `Option<(impl Sized, i32)>` |
0731742a | 11 | |
f035d41b | 12 | error[E0720]: cannot resolve opaque type |
74b04a01 | 13 | --> $DIR/recursive-impl-trait-type-indirect.rs:12:15 |
0731742a | 14 | | |
532ac7d7 | 15 | LL | fn tuple() -> impl Sized { |
f035d41b XL |
16 | | ^^^^^^^^^^ recursive opaque type |
17 | LL | | |
18 | LL | (tuple(),) | |
19 | | ---------- returning here with type `(impl Sized,)` | |
0731742a | 20 | |
f035d41b | 21 | error[E0720]: cannot resolve opaque type |
74b04a01 | 22 | --> $DIR/recursive-impl-trait-type-indirect.rs:17:15 |
0731742a | 23 | | |
532ac7d7 | 24 | LL | fn array() -> impl Sized { |
f035d41b XL |
25 | | ^^^^^^^^^^ recursive opaque type |
26 | LL | | |
27 | LL | [array()] | |
28 | | --------- returning here with type `[impl Sized; 1]` | |
0731742a | 29 | |
f035d41b | 30 | error[E0720]: cannot resolve opaque type |
e74abb32 | 31 | --> $DIR/recursive-impl-trait-type-indirect.rs:22:13 |
0731742a | 32 | | |
532ac7d7 | 33 | LL | fn ptr() -> impl Sized { |
f035d41b XL |
34 | | ^^^^^^^^^^ recursive opaque type |
35 | LL | | |
36 | LL | &ptr() as *const _ | |
37 | | ------------------ returning here with type `*const impl Sized` | |
0731742a | 38 | |
f035d41b | 39 | error[E0720]: cannot resolve opaque type |
74b04a01 | 40 | --> $DIR/recursive-impl-trait-type-indirect.rs:27:16 |
0731742a | 41 | | |
532ac7d7 | 42 | LL | fn fn_ptr() -> impl Sized { |
f035d41b XL |
43 | | ^^^^^^^^^^ recursive opaque type |
44 | LL | | |
45 | LL | fn_ptr as fn() -> _ | |
46 | | ------------------- returning here with type `fn() -> impl Sized` | |
0731742a | 47 | |
f035d41b | 48 | error[E0720]: cannot resolve opaque type |
74b04a01 | 49 | --> $DIR/recursive-impl-trait-type-indirect.rs:32:25 |
0731742a | 50 | | |
f035d41b XL |
51 | LL | fn closure_capture() -> impl Sized { |
52 | | ^^^^^^^^^^ recursive opaque type | |
53 | ... | |
54 | LL | / move || { | |
55 | LL | | x; | |
56 | LL | | } | |
1b1a35ee | 57 | | |_____- returning here with type `[closure@$DIR/recursive-impl-trait-type-indirect.rs:35:5: 37:6]` |
0731742a | 58 | |
f035d41b | 59 | error[E0720]: cannot resolve opaque type |
74b04a01 | 60 | --> $DIR/recursive-impl-trait-type-indirect.rs:40:29 |
0731742a | 61 | | |
f035d41b XL |
62 | LL | fn closure_ref_capture() -> impl Sized { |
63 | | ^^^^^^^^^^ recursive opaque type | |
64 | ... | |
65 | LL | / move || { | |
66 | LL | | &x; | |
67 | LL | | } | |
1b1a35ee | 68 | | |_____- returning here with type `[closure@$DIR/recursive-impl-trait-type-indirect.rs:43:5: 45:6]` |
0731742a | 69 | |
f035d41b | 70 | error[E0720]: cannot resolve opaque type |
74b04a01 | 71 | --> $DIR/recursive-impl-trait-type-indirect.rs:48:21 |
0731742a | 72 | | |
532ac7d7 | 73 | LL | fn closure_sig() -> impl Sized { |
f035d41b XL |
74 | | ^^^^^^^^^^ recursive opaque type |
75 | LL | | |
76 | LL | || closure_sig() | |
77 | | ---------------- returning here with type `[closure@$DIR/recursive-impl-trait-type-indirect.rs:50:5: 50:21]` | |
0731742a | 78 | |
f035d41b | 79 | error[E0720]: cannot resolve opaque type |
74b04a01 | 80 | --> $DIR/recursive-impl-trait-type-indirect.rs:53:23 |
0731742a | 81 | | |
532ac7d7 | 82 | LL | fn generator_sig() -> impl Sized { |
f035d41b XL |
83 | | ^^^^^^^^^^ recursive opaque type |
84 | LL | | |
85 | LL | || generator_sig() | |
86 | | ------------------ returning here with type `[closure@$DIR/recursive-impl-trait-type-indirect.rs:55:5: 55:23]` | |
0731742a | 87 | |
f035d41b | 88 | error[E0720]: cannot resolve opaque type |
74b04a01 | 89 | --> $DIR/recursive-impl-trait-type-indirect.rs:58:27 |
0731742a | 90 | | |
f035d41b XL |
91 | LL | fn generator_capture() -> impl Sized { |
92 | | ^^^^^^^^^^ recursive opaque type | |
93 | ... | |
94 | LL | / move || { | |
95 | LL | | yield; | |
96 | LL | | x; | |
97 | LL | | } | |
1b1a35ee | 98 | | |_____- returning here with type `[generator@$DIR/recursive-impl-trait-type-indirect.rs:61:5: 64:6 {()}]` |
0731742a | 99 | |
f035d41b | 100 | error[E0720]: cannot resolve opaque type |
74b04a01 | 101 | --> $DIR/recursive-impl-trait-type-indirect.rs:67:35 |
0731742a | 102 | | |
74b04a01 | 103 | LL | fn substs_change<T: 'static>() -> impl Sized { |
f035d41b XL |
104 | | ^^^^^^^^^^ recursive opaque type |
105 | LL | | |
106 | LL | (substs_change::<&T>(),) | |
107 | | ------------------------ returning here with type `(impl Sized,)` | |
0731742a | 108 | |
f035d41b | 109 | error[E0720]: cannot resolve opaque type |
74b04a01 | 110 | --> $DIR/recursive-impl-trait-type-indirect.rs:72:24 |
0731742a | 111 | | |
f035d41b XL |
112 | LL | fn generator_hold() -> impl Sized { |
113 | | ^^^^^^^^^^ recursive opaque type | |
114 | LL | | |
115 | LL | / move || { | |
116 | LL | | let x = generator_hold(); | |
117 | LL | | yield; | |
118 | LL | | x; | |
119 | LL | | } | |
120 | | |_____- returning here with type `[generator@$DIR/recursive-impl-trait-type-indirect.rs:74:5: 78:6 {impl Sized, ()}]` | |
0731742a | 121 | |
f035d41b | 122 | error[E0720]: cannot resolve opaque type |
74b04a01 | 123 | --> $DIR/recursive-impl-trait-type-indirect.rs:86:26 |
0731742a | 124 | | |
532ac7d7 | 125 | LL | fn mutual_recursion() -> impl Sync { |
f035d41b XL |
126 | | ^^^^^^^^^ recursive opaque type |
127 | LL | | |
128 | LL | mutual_recursion_b() | |
129 | | -------------------- returning here with type `impl Sized` | |
130 | ... | |
131 | LL | fn mutual_recursion_b() -> impl Sized { | |
132 | | ---------- returning this opaque type `impl Sized` | |
0731742a | 133 | |
f035d41b | 134 | error[E0720]: cannot resolve opaque type |
74b04a01 | 135 | --> $DIR/recursive-impl-trait-type-indirect.rs:91:28 |
0731742a | 136 | | |
f035d41b | 137 | LL | fn mutual_recursion() -> impl Sync { |
1b1a35ee | 138 | | --------- returning this opaque type `impl Sync` |
f035d41b | 139 | ... |
532ac7d7 | 140 | LL | fn mutual_recursion_b() -> impl Sized { |
f035d41b XL |
141 | | ^^^^^^^^^^ recursive opaque type |
142 | LL | | |
143 | LL | mutual_recursion() | |
1b1a35ee | 144 | | ------------------ returning here with type `impl Sync` |
0731742a | 145 | |
532ac7d7 | 146 | error: aborting due to 14 previous errors |
0731742a XL |
147 | |
148 | For more information about this error, try `rustc --explain E0720`. |