From 9918693037dce8aa4bb6f08741b6812923486c18 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 19 Jun 2024 11:26:03 +0200
Subject: Merging upstream version 1.76.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 tests/ui/traits/next-solver/nested-alias-bound.rs | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 tests/ui/traits/next-solver/nested-alias-bound.rs

(limited to 'tests/ui/traits/next-solver/nested-alias-bound.rs')

diff --git a/tests/ui/traits/next-solver/nested-alias-bound.rs b/tests/ui/traits/next-solver/nested-alias-bound.rs
new file mode 100644
index 000000000..2e3de0ac6
--- /dev/null
+++ b/tests/ui/traits/next-solver/nested-alias-bound.rs
@@ -0,0 +1,20 @@
+// compile-flags: -Znext-solver
+// check-pass
+
+trait A {
+    type A: B;
+}
+
+trait B {
+    type B: C;
+}
+
+trait C {}
+
+fn needs_c<T: C>() {}
+
+fn test<T: A>() {
+    needs_c::<<T::A as B>::B>();
+}
+
+fn main() {}
-- 
cgit v1.2.3