New upstream version 1.64.0+dfsg1

[rustc.git] / src / test / ui / never_type / impl_trait_fallback3.rs

diff --git a/src/test/ui/never_type/impl_trait_fallback3.rs b/src/test/ui/never_type/impl_trait_fallback3.rs
index 26ce9b93105e6fc3ed4c3c8f2c6e576b4bae96aa..ed645b82394a0393f9ab0a7aec06629eccfaf8bb 100644 (file)
--- a/src/test/ui/never_type/impl_trait_fallback3.rs
+++ b/src/test/ui/never_type/impl_trait_fallback3.rs
@@ -7,9 +7,9 @@ trait T {
 }
 
 type Foo = impl T;
-//~^ ERROR unconstrained opaque type
 
 fn a() -> Foo {
+    //~^ ERROR the trait bound `(): T` is not satisfied
     // This is not a defining use, it doesn't actually constrain the opaque type.
     panic!()
 }