diff --git a/tests/baselines/reference/getSignatureOfTypeCrash.js b/tests/baselines/reference/getSignatureOfTypeCrash.js
new file mode 100644
index 00000000000..6455bb08ded
--- /dev/null
+++ b/tests/baselines/reference/getSignatureOfTypeCrash.js
@@ -0,0 +1,23 @@
+//// [getSignatureOfTypeCrash.ts]
+declare interface Foo {
+    a(): boolean;
+    b(): void;
+    c(argument: boolean): void;
+    d(argument: number): void;
+}
+
+declare const Foo: Mapped<Foo>;
+type Mapped<T> = {
+  [K in keyof T]: T[K] extends (...args: infer Args) => infer R
+    ? (...args: Args) => R
+    : never;
+};
+
+function foo(key: 'a' | 'b' | 'c' | 'd') {
+  Foo[key]();
+}
+
+//// [getSignatureOfTypeCrash.js]
+function foo(key) {
+    Foo[key]();
+}
diff --git a/tests/baselines/reference/getSignatureOfTypeCrash.symbols b/tests/baselines/reference/getSignatureOfTypeCrash.symbols
new file mode 100644
index 00000000000..20e77736db3
--- /dev/null
+++ b/tests/baselines/reference/getSignatureOfTypeCrash.symbols
@@ -0,0 +1,53 @@
+=== tests/cases/compiler/getSignatureOfTypeCrash.ts ===
+declare interface Foo {
+>Foo : Symbol(Foo, Decl(getSignatureOfTypeCrash.ts, 0, 0), Decl(getSignatureOfTypeCrash.ts, 7, 13))
+
+    a(): boolean;
+>a : Symbol(Foo.a, Decl(getSignatureOfTypeCrash.ts, 0, 23))
+
+    b(): void;
+>b : Symbol(Foo.b, Decl(getSignatureOfTypeCrash.ts, 1, 17))
+
+    c(argument: boolean): void;
+>c : Symbol(Foo.c, Decl(getSignatureOfTypeCrash.ts, 2, 14))
+>argument : Symbol(argument, Decl(getSignatureOfTypeCrash.ts, 3, 6))
+
+    d(argument: number): void;
+>d : Symbol(Foo.d, Decl(getSignatureOfTypeCrash.ts, 3, 31))
+>argument : Symbol(argument, Decl(getSignatureOfTypeCrash.ts, 4, 6))
+}
+
+declare const Foo: Mapped<Foo>;
+>Foo : Symbol(Foo, Decl(getSignatureOfTypeCrash.ts, 0, 0), Decl(getSignatureOfTypeCrash.ts, 7, 13))
+>Mapped : Symbol(Mapped, Decl(getSignatureOfTypeCrash.ts, 7, 31))
+>Foo : Symbol(Foo, Decl(getSignatureOfTypeCrash.ts, 0, 0), Decl(getSignatureOfTypeCrash.ts, 7, 13))
+
+type Mapped<T> = {
+>Mapped : Symbol(Mapped, Decl(getSignatureOfTypeCrash.ts, 7, 31))
+>T : Symbol(T, Decl(getSignatureOfTypeCrash.ts, 8, 12))
+
+  [K in keyof T]: T[K] extends (...args: infer Args) => infer R
+>K : Symbol(K, Decl(getSignatureOfTypeCrash.ts, 9, 3))
+>T : Symbol(T, Decl(getSignatureOfTypeCrash.ts, 8, 12))
+>T : Symbol(T, Decl(getSignatureOfTypeCrash.ts, 8, 12))
+>K : Symbol(K, Decl(getSignatureOfTypeCrash.ts, 9, 3))
+>args : Symbol(args, Decl(getSignatureOfTypeCrash.ts, 9, 32))
+>Args : Symbol(Args, Decl(getSignatureOfTypeCrash.ts, 9, 46))
+>R : Symbol(R, Decl(getSignatureOfTypeCrash.ts, 9, 61))
+
+    ? (...args: Args) => R
+>args : Symbol(args, Decl(getSignatureOfTypeCrash.ts, 10, 7))
+>Args : Symbol(Args, Decl(getSignatureOfTypeCrash.ts, 9, 46))
+>R : Symbol(R, Decl(getSignatureOfTypeCrash.ts, 9, 61))
+
+    : never;
+};
+
+function foo(key: 'a' | 'b' | 'c' | 'd') {
+>foo : Symbol(foo, Decl(getSignatureOfTypeCrash.ts, 12, 2))
+>key : Symbol(key, Decl(getSignatureOfTypeCrash.ts, 14, 13))
+
+  Foo[key]();
+>Foo : Symbol(Foo, Decl(getSignatureOfTypeCrash.ts, 0, 0), Decl(getSignatureOfTypeCrash.ts, 7, 13))
+>key : Symbol(key, Decl(getSignatureOfTypeCrash.ts, 14, 13))
+}
diff --git a/tests/baselines/reference/getSignatureOfTypeCrash.types b/tests/baselines/reference/getSignatureOfTypeCrash.types
new file mode 100644
index 00000000000..bc8732f73dd
--- /dev/null
+++ b/tests/baselines/reference/getSignatureOfTypeCrash.types
@@ -0,0 +1,42 @@
+=== tests/cases/compiler/getSignatureOfTypeCrash.ts ===
+declare interface Foo {
+    a(): boolean;
+>a : () => boolean
+
+    b(): void;
+>b : () => void
+
+    c(argument: boolean): void;
+>c : (argument: boolean) => void
+>argument : boolean
+
+    d(argument: number): void;
+>d : (argument: number) => void
+>argument : number
+}
+
+declare const Foo: Mapped<Foo>;
+>Foo : Mapped<Foo>
+
+type Mapped<T> = {
+>Mapped : Mapped<T>
+
+  [K in keyof T]: T[K] extends (...args: infer Args) => infer R
+>args : Args
+
+    ? (...args: Args) => R
+>args : Args
+
+    : never;
+};
+
+function foo(key: 'a' | 'b' | 'c' | 'd') {
+>foo : (key: 'a' | 'b' | 'c' | 'd') => void
+>key : "a" | "b" | "c" | "d"
+
+  Foo[key]();
+>Foo[key]() : boolean | void
+>Foo[key] : (() => boolean) | (() => void) | ((argument: boolean) => void) | ((argument: number) => void)
+>Foo : Mapped<Foo>
+>key : "a" | "b" | "c" | "d"
+}