]> git.proxmox.com Git - rustc.git/blobdiff - src/test/ui/type-alias-impl-trait/nested-tait-inference3.stderr
New upstream version 1.62.1+dfsg1
[rustc.git] / src / test / ui / type-alias-impl-trait / nested-tait-inference3.stderr
index b1d947a9ccf4ec62423b7119c21b4cd7ee1f120f..4a3fb16733e04964fc53cc8f5ade4388a9c9aa6f 100644 (file)
@@ -1,10 +1,14 @@
-error: unconstrained opaque type
+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
   --> $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