Rollup merge of #133495 - lcnr:env-shadowing-tests, r=compiler-errors

add test for alias-bound shadowing, rename folder r? `@BoxyUwU` `@compiler-errors`
rust-lang · Nov 26, 2024 · 0dba983 · 0dba983
2 parents 5518c62 + 7dae9ac
commit 0dba983
Show file tree

Hide file tree

Showing 10 changed files with 19 additions and 0 deletions.
diff --git a/tests/ui/traits/next-solver/normalization-shadowing/alias-bound-shadowed-by-env.rs b/tests/ui/traits/next-solver/normalization-shadowing/alias-bound-shadowed-by-env.rs
@@ -0,0 +1,19 @@
+//@ compile-flags: -Znext-solver
+//@ check-pass
+
+trait Super {
+    type Assoc;
+}
+trait Bound {
+    type Assoc: Super<Assoc = u32>;
+}
+trait Trait: Super {}
+
+// Elaborating the environment results in a `T::Assoc: Super` where-bound.
+// This where-bound must not prevent normalization via the `Super<Assoc = u32>`
+// item bound.
+fn heck<T: Bound<Assoc: Trait>>(x: <T::Assoc as Super>::Assoc) -> u32 {
+    x
+}
+
+fn main() {}
diff --git a/.../env-shadows-impls/ambig-env-no-shadow.rs → ...lization-shadowing/ambig-env-no-shadow.rs b/.../env-shadows-impls/ambig-env-no-shadow.rs → ...lization-shadowing/ambig-env-no-shadow.rs
diff --git a/...-impls/discard-impls-shadowed-by-env-1.rs → ...dowing/discard-impls-shadowed-by-env-1.rs b/...-impls/discard-impls-shadowed-by-env-1.rs → ...dowing/discard-impls-shadowed-by-env-1.rs
diff --git a/...-impls/discard-impls-shadowed-by-env-2.rs → ...dowing/discard-impls-shadowed-by-env-2.rs b/...-impls/discard-impls-shadowed-by-env-2.rs → ...dowing/discard-impls-shadowed-by-env-2.rs
diff --git a/...-impls/discard-impls-shadowed-by-env-3.rs → ...dowing/discard-impls-shadowed-by-env-3.rs b/...-impls/discard-impls-shadowed-by-env-3.rs → ...dowing/discard-impls-shadowed-by-env-3.rs
diff --git a/...es_to_ignores_unnormalizable_candidate.rs → ...es_to_ignores_unnormalizable_candidate.rs b/...es_to_ignores_unnormalizable_candidate.rs → ...es_to_ignores_unnormalizable_candidate.rs
diff --git a/...o_ignores_unnormalizable_candidate.stderr → ...o_ignores_unnormalizable_candidate.stderr b/...o_ignores_unnormalizable_candidate.stderr → ...o_ignores_unnormalizable_candidate.stderr
diff --git a/...-impls/param-candidate-shadows-project.rs → ...dowing/param-candidate-shadows-project.rs b/...-impls/param-candidate-shadows-project.rs → ...dowing/param-candidate-shadows-project.rs
diff --git a/...ls/param-candidate-shadows-project.stderr → ...ng/param-candidate-shadows-project.stderr b/...ls/param-candidate-shadows-project.stderr → ...ng/param-candidate-shadows-project.stderr
diff --git a/...-shadows-impls/param-env-impl-conflict.rs → ...tion-shadowing/param-env-impl-conflict.rs b/...-shadows-impls/param-env-impl-conflict.rs → ...tion-shadowing/param-env-impl-conflict.rs