about summary refs log tree commit diff
path: root/tests/ui/impl-trait/trait_upcasting.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/impl-trait/trait_upcasting.rs')
-rw-r--r--tests/ui/impl-trait/trait_upcasting.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/impl-trait/trait_upcasting.rs b/tests/ui/impl-trait/trait_upcasting.rs
index cb3c17e87b4..ce811004fae 100644
--- a/tests/ui/impl-trait/trait_upcasting.rs
+++ b/tests/ui/impl-trait/trait_upcasting.rs
@@ -1,5 +1,7 @@
 //! Test that we allow unsizing `Trait<Concrete>` to `Trait<Opaque>` and vice versa
 
+//@ check-pass
+
 trait Trait<T> {}
 
 impl<T, U> Trait<T> for U {}
@@ -8,7 +10,6 @@ fn hello() -> &'static (dyn Trait<impl Sized> + Send) {
     if false {
         let x = hello();
         let _: &'static dyn Trait<()> = x;
-        //~^ ERROR: mismatched types
     }
     todo!()
 }
@@ -18,7 +19,6 @@ fn bye() -> &'static dyn Trait<impl Sized> {
         let mut x = bye();
         let y: &'static (dyn Trait<()> + Send) = &();
         x = y;
-        //~^ ERROR: mismatched types
     }
     todo!()
 }