diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-05-27 10:44:35 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-19 08:28:31 +0000 |
| commit | 4a86ef6f4c6069e94e8ea6ebb2b62206dce31cbf (patch) | |
| tree | 0fc72d76af8853ad89462938bad08156deaa2805 /tests/ui/impl-trait/trait_upcasting.rs | |
| parent | cbadf786bc482baf467f601d03a074000c422914 (diff) | |
| download | rust-4a86ef6f4c6069e94e8ea6ebb2b62206dce31cbf.tar.gz rust-4a86ef6f4c6069e94e8ea6ebb2b62206dce31cbf.zip | |
Allow constraining opaque types during auto trait casting
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!() } |