diff --git a/tests/ui/associated-types/associated-types-match-despite-generic.rs b/tests/ui/associated-types/associated-types-match-despite-generic.rs
new file mode 100644
index 0000000000000..04fc374e59a0c
--- /dev/null
+++ b/tests/ui/associated-types/associated-types-match-despite-generic.rs
@@ -0,0 +1,21 @@
+//! Regression test for <https://github.com/rust-lang/trait-system-refactor-initiative/issues/216>.
+//@compile-flags: -Znext-solver=globally
+//@ check-pass
+
+struct Outer;
+struct Inner;
+trait Id<T> {
+    type This;
+}
+impl<T, U> Id<U> for T {
+    type This = T;
+}
+
+fn free<T>(x: T) -> <T as Id<Inner>>::This
+where
+    <T as Id<Outer>>::This: Id<Inner, This = <T as Id<Inner>>::This>,
+{
+    x
+}
+
+fn main() {}