Auto merge of #95454 - randomicon00:fix95444, r=wesleywiser

[rust.git] / src / test / ui / type-alias-impl-trait / issue-63355.rs

diff --git a/src/test/ui/type-alias-impl-trait/issue-63355.rs b/src/test/ui/type-alias-impl-trait/issue-63355.rs
index 9f617153e3fd5fc5489bf4e755441150ed07474a..7066a0535e1848e975b2cf124b605fbdddbdb241 100644 (file)
--- a/src/test/ui/type-alias-impl-trait/issue-63355.rs
+++ b/src/test/ui/type-alias-impl-trait/issue-63355.rs
@@ -1,5 +1,5 @@
 #![feature(type_alias_impl_trait)]
-#![allow(incomplete_features)]
+// check-pass
 
 pub trait Foo {}
 
@@ -27,11 +27,8 @@ fn foo() -> Self::Foo {
     }
 }
 
-// FIXME(#86731): The below is illegal use of `type_alias_impl_trait`
-// but the compiler doesn't report it, we should fix it.
 pub type FooImpl = impl Foo;
 pub type BarImpl = impl Bar<Foo = FooImpl>;
-//~^ ERROR: type mismatch resolving `<() as Bar>::Foo == ()`
 
 impl Baz for () {
     type Foo = FooImpl;