summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/printing-binder.stderr
blob: 5ffec8af1028915defdee18a6ab16434e8ea1bc9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
error[E0308]: mismatched types
  --> $DIR/printing-binder.rs:10:18
   |
LL | fn whatever() -> impl for<'a> Trait<'a> + for<'b> Trait<'b> {}
   |                  ------------------------------------------ the found opaque type
...
LL |     let x: u32 = whatever();
   |            ---   ^^^^^^^^^^ expected `u32`, found opaque type
   |            |
   |            expected due to this
   |
   = note:     expected type `u32`
           found opaque type `impl for<'a> Trait<'a> + for<'b> Trait<'b>`

error[E0308]: mismatched types
  --> $DIR/printing-binder.rs:12:19
   |
LL | fn whatever2() -> impl for<'c> Fn(&'c ()) {
   |                   ----------------------- the found opaque type
...
LL |     let x2: u32 = whatever2();
   |             ---   ^^^^^^^^^^^ expected `u32`, found opaque type
   |             |
   |             expected due to this
   |
   = note:     expected type `u32`
           found opaque type `impl for<'c> Fn(&'c ())`

error: aborting due to 2 previous errors

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