1 error[E0308]: mismatched types
2 --> $DIR/printing-binder.rs:10:18
4 LL | fn whatever() -> impl for<'a> Trait<'a> + for<'b> Trait<'b> {}
5 | ------------------------------------------ the found opaque type
7 LL | let x: u32 = whatever();
8 | --- ^^^^^^^^^^ expected `u32`, found opaque type
10 | expected due to this
12 = note: expected type `u32`
13 found opaque type `impl for<'a> Trait<'a> + for<'b> Trait<'b>`
15 error[E0308]: mismatched types
16 --> $DIR/printing-binder.rs:12:19
18 LL | fn whatever2() -> impl for<'c> Fn(&'c ()) {
19 | ----------------------- the found opaque type
21 LL | let x2: u32 = whatever2();
22 | --- ^^^^^^^^^^^ expected `u32`, found opaque type
24 | expected due to this
26 = note: expected type `u32`
27 found opaque type `impl for<'c> Fn(&'c ())`
29 error: aborting due to 2 previous errors
31 For more information about this error, try `rustc --explain E0308`.