diff --git a/tests/cases/compiler/reverseMappedContravariantInference.ts b/tests/cases/compiler/reverseMappedContravariantInference.ts
new file mode 100644
index 00000000000..7b7492f6bad
--- /dev/null
+++ b/tests/cases/compiler/reverseMappedContravariantInference.ts
@@ -0,0 +1,6 @@
+// @strict: true
+
+// Repro from #21273
+
+declare function conforms<T>(source: { [K in keyof T]: (val: T[K]) => boolean }): (value: T) => boolean;
+conforms({ foo: (v: string) => false })({ foo: "hello" });