From 8634d633211fab1d95ecb297be5d6c8fe98691d6 Mon Sep 17 00:00:00 2001 From: lcnr Date: Tue, 5 May 2026 22:31:00 +0200 Subject: [PATCH] move test --- .../alias-with-bound-vars-incomplete-generalization.rs} | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) rename tests/ui/traits/next-solver/{self-referential-closure-sig-4.rs => generalize/alias-with-bound-vars-incomplete-generalization.rs} (75%) 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>;