diff --git a/tests/ui/associated-types/nested-assoc-type-projection-ice-109864.rs b/tests/ui/associated-types/nested-assoc-type-projection-ice-109864.rs
new file mode 100644
index 0000000000000..ae55712c50a93
--- /dev/null
+++ b/tests/ui/associated-types/nested-assoc-type-projection-ice-109864.rs
@@ -0,0 +1,39 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/109864>.
+//!
+//! Deeply nested associated-type projections used to ICE with "type variables
+//! should not be hashed" — but only under incremental compilation. They should now
+//! produce ordinary trait-bound errors instead of crashing.
+
+//@ incremental
+
+struct S;
+struct S2<P>(); //~ ERROR type parameter `P` is never used
+
+trait Foo<A> {
+    type Out;
+}
+
+trait Bar<A, B> {
+    type Out;
+}
+
+trait Qux<A> {
+    type Out;
+}
+
+trait Fuzz<A> {
+    type Out;
+}
+
+impl<A: Foo<B>, B> Fuzz<S2<B>> for S2<A> {
+    type Out = <<A as Foo<B>>::Out as Bar<
+        //~^ ERROR the trait bound `<A as Foo<B>>::Out: Qux<S>` is not satisfied
+        //~| ERROR the trait bound `<A as Foo<B>>::Out: Bar<S2<A>, _>` is not satisfied
+        //~| ERROR the trait bound `<A as Foo<B>>::Out: Bar<S2<A>, _>` is not satisfied
+        S2<A>,
+        <<<A as Foo<B>>::Out as Qux<S>>::Out as Fuzz<S2<B>>>::Out,
+        //~^ ERROR the trait bound `<A as Foo<B>>::Out: Qux<S>` is not satisfied
+    >>::Out;
+}
+
+fn main() {}
diff --git a/tests/ui/associated-types/nested-assoc-type-projection-ice-109864.stderr b/tests/ui/associated-types/nested-assoc-type-projection-ice-109864.stderr
new file mode 100644
index 0000000000000..fdf55aa4c2bdb
--- /dev/null
+++ b/tests/ui/associated-types/nested-assoc-type-projection-ice-109864.stderr
@@ -0,0 +1,65 @@
+error[E0392]: type parameter `P` is never used
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:10:11
+   |
+LL | struct S2<P>();
+   |           ^ unused type parameter
+   |
+   = help: consider removing `P`, referring to it in a field, or using a marker such as `PhantomData`
+   = help: if you intended `P` to be a const parameter, use `const P: /* Type */` instead
+
+error[E0277]: the trait bound `<A as Foo<B>>::Out: Qux<S>` is not satisfied
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:29:16
+   |
+LL |       type Out = <<A as Foo<B>>::Out as Bar<
+   |  ________________^
+...  |
+LL | |     >>::Out;
+   | |___________^ the trait `Qux<S>` is not implemented for `<A as Foo<B>>::Out`
+   |
+help: consider further restricting the associated type
+   |
+LL | impl<A: Foo<B>, B> Fuzz<S2<B>> for S2<A> where <A as Foo<B>>::Out: Qux<S> {
+   |                                          ++++++++++++++++++++++++++++++++
+
+error[E0277]: the trait bound `<A as Foo<B>>::Out: Bar<S2<A>, _>` is not satisfied
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:29:16
+   |
+LL |       type Out = <<A as Foo<B>>::Out as Bar<
+   |  ________________^
+...  |
+LL | |     >>::Out;
+   | |___________^ the trait `Bar<S2<A>, _>` is not implemented for `<A as Foo<B>>::Out`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:16:1
+   |
+LL | trait Bar<A, B> {
+   | ^^^^^^^^^^^^^^^
+
+error[E0277]: the trait bound `<A as Foo<B>>::Out: Qux<S>` is not satisfied
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:34:10
+   |
+LL |         <<<A as Foo<B>>::Out as Qux<S>>::Out as Fuzz<S2<B>>>::Out,
+   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Qux<S>` is not implemented for `<A as Foo<B>>::Out`
+   |
+help: consider further restricting the associated type
+   |
+LL | impl<A: Foo<B>, B> Fuzz<S2<B>> for S2<A> where <A as Foo<B>>::Out: Qux<S> {
+   |                                          ++++++++++++++++++++++++++++++++
+
+error[E0277]: the trait bound `<A as Foo<B>>::Out: Bar<S2<A>, _>` is not satisfied
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:29:5
+   |
+LL |     type Out = <<A as Foo<B>>::Out as Bar<
+   |     ^^^^^^^^ the trait `Bar<S2<A>, _>` is not implemented for `<A as Foo<B>>::Out`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/nested-assoc-type-projection-ice-109864.rs:16:1
+   |
+LL | trait Bar<A, B> {
+   | ^^^^^^^^^^^^^^^
+
+error: aborting due to 5 previous errors
+
+Some errors have detailed explanations: E0277, E0392.
+For more information about an error, try `rustc --explain E0277`.