1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-projection-in-where-clause.rs b/src/test/ui/associated-types/associated-types-projection-in-where-clause.rs
new file mode 100644
index 000000000..e9a26e53c
--- /dev/null
+++ b/src/test/ui/associated-types/associated-types-projection-in-where-clause.rs
@@ -0,0 +1,31 @@
+// run-pass
+#![allow(dead_code)]
+#![allow(unused_variables)]
+// Test a where clause that uses a non-normalized projection type.
+
+// pretty-expanded FIXME #23616
+
+trait Int
+{
+    type T;
+
+    fn dummy(&self) { }
+}
+
+trait NonZero
+{
+    fn non_zero(self) -> bool;
+}
+
+fn foo<I:Int<T=J>,J>(t: I) -> bool
+    where <I as Int>::T : NonZero
+    //    ^~~~~~~~~~~~~ canonical form is just J
+{
+    bar::<J>()
+}
+
+fn bar<NZ:NonZero>() -> bool { true }
+
+fn main ()
+{
+}