tests/ui/type-alias-impl-trait/issue-63355.stderr


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

error: item does not constrain `FooImpl::{opaque#0}`
  --> $DIR/issue-63355.rs:43:8
   |
LL |     fn bar() -> Self::Bar {
   |        ^^^
   |
   = note: consider removing `#[define_opaque]` or adding an empty `#[define_opaque()]`
note: this opaque type is supposed to be constrained
  --> $DIR/issue-63355.rs:30:20
   |
LL | pub type FooImpl = impl Foo;
   |                    ^^^^^^^^

error: aborting due to 1 previous error