diff options
Diffstat (limited to 'tests/ui/impl-trait/trait_upcasting.rs')
| -rw-r--r-- | tests/ui/impl-trait/trait_upcasting.rs | 4 | 
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!() } | 
