From d2cfc47ed07497d8b8e37d17b136937a8af47723 Mon Sep 17 00:00:00 2001
From: Adwin White <adwinw01@gmail.com>
Date: Wed, 5 Nov 2025 21:29:39 +0800
Subject: [PATCH] add test for alias self_ty

---
 .../use_object_if_empty_env.rs                  | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/tests/ui/traits/next-solver/normalization-shadowing/use_object_if_empty_env.rs b/tests/ui/traits/next-solver/normalization-shadowing/use_object_if_empty_env.rs
index c0bd2b49117b..f8f6ed9a0988 100644
--- a/tests/ui/traits/next-solver/normalization-shadowing/use_object_if_empty_env.rs
+++ b/tests/ui/traits/next-solver/normalization-shadowing/use_object_if_empty_env.rs
@@ -16,4 +16,21 @@ where
     x
 }
 
+trait Id<'a> {
+    type This: ?Sized;
+}
+impl<T: ?Sized> Id<'_> for T {
+    type This = T;
+}
+
+// Ensure that we properly normalize alias self_ty before evaluating the goal.
+fn alias_foo<T>(x: for<'a> fn(
+    <<dyn Trait<Assoc = T> as Id<'a>>::This as Trait>::Assoc
+)) -> fn(T)
+where
+    dyn Trait<Assoc = T>: Trait,
+{
+    x
+}
+
 fn main() {}