From c7d0dfce336645881b2aa5f08f605fa03abc6894 Mon Sep 17 00:00:00 2001 From: lcnr Date: Wed, 18 Dec 2024 16:31:44 +0100 Subject: [PATCH] resolve FIXME --- .../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 00dc7a9d337d9..fbf4cadc678d5 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); }