tests/ui/impl-trait/in-assoc-type.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

error[E0308]: mismatched types
  --> $DIR/in-assoc-type.rs:20:22
   |
LL |     type Bar = impl std::fmt::Debug;
   |                -------------------- the expected opaque type
...
LL |     fn foo(&self) -> <Self as Foo<()>>::Bar {}
   |        ---           ^^^^^^^^^^^^^^^^^^^^^^ expected opaque type, found `()`
   |        |
   |        implicitly returns `()` as its body has no tail or `return` expression
   |
   = note: expected opaque type `<() as Foo<()>>::Bar`
                found unit type `()`

error: aborting due to 1 previous error

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