diff options
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/bound_reduction2.stderr')
| -rw-r--r-- | src/test/ui/type-alias-impl-trait/bound_reduction2.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-impl-trait/bound_reduction2.stderr b/src/test/ui/type-alias-impl-trait/bound_reduction2.stderr new file mode 100644 index 000000000..c405b1f6a --- /dev/null +++ b/src/test/ui/type-alias-impl-trait/bound_reduction2.stderr @@ -0,0 +1,14 @@ +error: non-defining opaque type use in defining scope + --> $DIR/bound_reduction2.rs:16:5 + | +LL | () + | ^^ + | +note: used non-generic type `<T as TraitWithAssoc>::Assoc` for generic parameter + --> $DIR/bound_reduction2.rs:9:10 + | +LL | type Foo<V> = impl Trait<V>; + | ^ + +error: aborting due to previous error + |