tests/ui/impl-trait/type-alias-impl-trait-in-fn-body.stderr


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

error: item does not constrain `Existential::{opaque#0}`
  --> $DIR/type-alias-impl-trait-in-fn-body.rs:8:4
   |
LL | fn main() {
   |    ^^^^
   |
   = note: consider removing `#[define_opaque]` or adding an empty `#[define_opaque()]`
note: this opaque type is supposed to be constrained
  --> $DIR/type-alias-impl-trait-in-fn-body.rs:10:24
   |
LL |     type Existential = impl Debug;
   |                        ^^^^^^^^^^

error: aborting due to 1 previous error