summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr')
-rw-r--r--src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr10
1 files changed, 3 insertions, 7 deletions
diff --git a/src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr b/src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr
index 4a3fb1673..b1d947a9c 100644
--- a/src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr
+++ b/src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr
@@ -1,14 +1,10 @@
-error: cannot implement trait on type alias impl trait
- --> $DIR/nested-tait-inference3.rs:10:10
- |
-LL | impl Foo<FooX> for () { }
- | ^^^^
- |
-note: type alias impl trait defined here
+error: unconstrained opaque type
--> $DIR/nested-tait-inference3.rs:6:13
|
LL | type FooX = impl Debug;
| ^^^^^^^^^^
+ |
+ = note: `FooX` must be used in combination with a concrete type within the same module
error: aborting due to previous error