diff options
| author | lcnr <rust@lcnr.de> | 2024-12-18 16:31:44 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-12-18 16:35:06 +0100 |
| commit | 5fa4b093f59e4be0847ee00628ae5439fad51cfc (patch) | |
| tree | 0cc692689075485cfc462312eb1eaa9c36bbaf19 | |
| parent | f0ae48d1065b6d017df75dc2d70a7c56b272b54d (diff) | |
| download | rust-5fa4b093f59e4be0847ee00628ae5439fad51cfc.tar.gz rust-5fa4b093f59e4be0847ee00628ae5439fad51cfc.zip | |
resolve FIXME
| -rw-r--r-- | tests/ui/traits/next-solver/generalize/occurs-check-nested-alias.rs | 5 |
1 files changed, 0 insertions, 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<T: Unnormalizable>() { // 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>(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::<Inv<<T as Unnormalizable>::Assoc>>(u); } |