diff --git a/tests/ui/traits/next-solver/self-referential-closure-sig-4.rs b/tests/ui/traits/next-solver/generalize/alias-with-bound-vars-incomplete-generalization.rs similarity index 75% rename from tests/ui/traits/next-solver/self-referential-closure-sig-4.rs rename to tests/ui/traits/next-solver/generalize/alias-with-bound-vars-incomplete-generalization.rs index fb6297869356c..bf2276e4967b0 100644 --- a/tests/ui/traits/next-solver/self-referential-closure-sig-4.rs +++ b/tests/ui/traits/next-solver/generalize/alias-with-bound-vars-incomplete-generalization.rs @@ -2,7 +2,9 @@ //@[next] compile-flags: -Znext-solver //@ check-pass -// Regression test for the fourth variant of trait-system-refactor-initiative#191 +// Regression test for the fourth variant of trait-system-refactor-initiative#191. +// We previously didn't normalize `<() as Trait>::Assoc<'a>` before generalizing +// here, resulting in an error. trait Trait { type Assoc<'a>;