Rollup merge of rust-lang#156205 - lcnr:move-generalization-test, r=lqd

move generalization test

The forth test of rust-lang/trait-system-refactor-initiative#191 (comment) isn't actually related to closure signature inference.

closes rust-lang/trait-system-refactor-initiative#191, which has already been fixed by rust-lang#155767

r? types

Author: jhpratt

…solver/self-referential-closure-sig-4.rs …-bound-vars-incomplete-generalization.rstests/ui/traits/next-solver/self-referential-closure-sig-4.rs renamed to tests/ui/traits/next-solver/generalize/alias-with-bound-vars-incomplete-generalization.rs tests/ui/traits/next-solver/self-referential-closure-sig-4.rs renamed to 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<T>>::Assoc<'a>` before generalizing
+// here, resulting in an error.
 
 trait Trait<T> {
     type Assoc<'a>;