From f6c79a631cf3ed3bfac4a1a61727acdb214ce7ba Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Thu, 18 Jan 2018 17:28:37 -0800
Subject: [PATCH] Add regression test

---
 tests/cases/compiler/reverseMappedContravariantInference.ts | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/cases/compiler/reverseMappedContravariantInference.ts

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" });