Add regression test

2018-01-18 17:28:37 -08:00 · 2018-01-18 17:28:37 -08:00 · f6c79a631c
parent 5bb8d2a590
commit f6c79a631c
1 changed files with 6 additions and 0 deletions
--- a/tests/cases/compiler/reverseMappedContravariantInference.ts
+++ 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" });