diff --git a/tests/cases/compiler/typeInferenceCacheInvalidation.ts b/tests/cases/compiler/typeInferenceCacheInvalidation.ts
new file mode 100644
index 00000000000..d037f139ec5
--- /dev/null
+++ b/tests/cases/compiler/typeInferenceCacheInvalidation.ts
@@ -0,0 +1,23 @@
+// @strict: true
+
+// Repro from #32230
+
+type Callback<TFoo, TBar> = (foo: TFoo, bar: TBar) => any
+
+declare function example<TFoo, TBar, TCallback extends Callback<TFoo, TBar>>(
+    foo: TFoo,
+    callback: TCallback,
+    bar: TBar,
+): TCallback
+
+example(42, (foo, bar) => ({
+    t: () => {
+        let s: string = bar;
+    }
+}), '42');
+
+example(42, (foo, bar) => ({
+    t() {
+        let s: string = bar;
+    }
+}), '42');