From 9918693037dce8aa4bb6f08741b6812923486c18 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 19 Jun 2024 11:26:03 +0200 Subject: Merging upstream version 1.76.0+dfsg1. Signed-off-by: Daniel Baumann --- tests/ui/traits/new-solver/higher-ranked-dyn-bounds.rs | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 tests/ui/traits/new-solver/higher-ranked-dyn-bounds.rs (limited to 'tests/ui/traits/new-solver/higher-ranked-dyn-bounds.rs') diff --git a/tests/ui/traits/new-solver/higher-ranked-dyn-bounds.rs b/tests/ui/traits/new-solver/higher-ranked-dyn-bounds.rs deleted file mode 100644 index c886aeeda..000000000 --- a/tests/ui/traits/new-solver/higher-ranked-dyn-bounds.rs +++ /dev/null @@ -1,17 +0,0 @@ -// compile-flags: -Ztrait-solver=next -// check-pass - -trait Trait<'a> { - type Item: for<'b> Trait2<'b>; -} - -trait Trait2<'a> {} -impl Trait2<'_> for () {} - -fn needs_trait(_: Box Trait<'a> + ?Sized>) {} - -fn foo(x: Box Trait<'a, Item = ()>>) { - needs_trait(x); -} - -fn main() {} -- cgit v1.2.3