From 5fa4b093f59e4be0847ee00628ae5439fad51cfc Mon Sep 17 00:00:00 2001 From: lcnr Date: Wed, 18 Dec 2024 16:31:44 +0100 Subject: resolve FIXME --- tests/ui/traits/next-solver/generalize/occurs-check-nested-alias.rs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/tests/ui/traits/next-solver/generalize/occurs-check-nested-alias.rs b/tests/ui/traits/next-solver/generalize/occurs-check-nested-alias.rs index 00dc7a9d337..fbf4cadc678 100644 --- a/tests/ui/traits/next-solver/generalize/occurs-check-nested-alias.rs +++ b/tests/ui/traits/next-solver/generalize/occurs-check-nested-alias.rs @@ -37,9 +37,4 @@ fn foo() { // result in a cyclic type. However, we can still unify these types by first // normalizing the inner associated type. Emitting an error here would be incomplete. drop::(t); - - // FIXME(-Znext-solver): This line is necessary due to an unrelated solver bug - // and should get removed in the future. - // https://github.com/rust-lang/trait-system-refactor-initiative/issues/96 - drop::::Assoc>>(u); } -- cgit 1.4.1-3-g733a5