src/test/ui/impl-trait/recursive-impl-trait-type-indirect.stderr

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:6:22
   |
LL | fn option(i: i32) -> impl Sized {
   |                      ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `std::option::Option<(impl Sized, i32)>`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:14:15
   |
LL | fn tuple() -> impl Sized {
   |               ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `(impl Sized,)`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:18:15
   |
LL | fn array() -> impl Sized {
   |               ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[impl Sized; 1]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:22:13
   |
LL | fn ptr() -> impl Sized {
   |             ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `*const impl Sized`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:26:16
   |
LL | fn fn_ptr() -> impl Sized {
   |                ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `fn() -> impl Sized`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:30:25
   |
LL | fn closure_capture() -> impl Sized {
   |                         ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[closure@$DIR/recursive-impl-trait-type-indirect.rs:32:5: 32:19 x:impl Sized]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:35:29
   |
LL | fn closure_ref_capture() -> impl Sized {
   |                             ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[closure@$DIR/recursive-impl-trait-type-indirect.rs:37:5: 37:20 x:impl Sized]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:40:21
   |
LL | fn closure_sig() -> impl Sized {
   |                     ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[closure@$DIR/recursive-impl-trait-type-indirect.rs:41:5: 41:21]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:44:23
   |
LL | fn generator_sig() -> impl Sized {
   |                       ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[closure@$DIR/recursive-impl-trait-type-indirect.rs:45:5: 45:23]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:48:27
   |
LL | fn generator_capture() -> impl Sized {
   |                           ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[generator@$DIR/recursive-impl-trait-type-indirect.rs:50:5: 50:26 x:impl Sized {()}]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:53:26
   |
LL | fn substs_change<T>() -> impl Sized {
   |                          ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `(impl Sized,)`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:57:24
   |
LL | fn generator_hold() -> impl Sized {
   |                        ^^^^^^^^^^ expands to a recursive type
   |
   = note: expanded type is `[generator@$DIR/recursive-impl-trait-type-indirect.rs:58:5: 62:6 {impl Sized, ()}]`

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:69:26
   |
LL | fn mutual_recursion() -> impl Sync {
   |                          ^^^^^^^^^ expands to a recursive type
   |
   = note: type resolves to itself

error[E0720]: opaque type expands to a recursive type
  --> $DIR/recursive-impl-trait-type-indirect.rs:73:28
   |
LL | fn mutual_recursion_b() -> impl Sized {
   |                            ^^^^^^^^^^ expands to a recursive type
   |
   = note: type resolves to itself

error: aborting due to 14 previous errors

For more information about this error, try `rustc --explain E0720`.