diff --git a/tests/baselines/reference/deferKeyofGenericIntersections.symbols b/tests/baselines/reference/deferKeyofGenericIntersections.symbols
new file mode 100644
index 00000000000..6ac342966d5
--- /dev/null
+++ b/tests/baselines/reference/deferKeyofGenericIntersections.symbols
@@ -0,0 +1,116 @@
+//// [tests/cases/compiler/deferKeyofGenericIntersections.ts] ////
+
+=== deferKeyofGenericIntersections.ts ===
+type Foo = { x: string } | undefined;
+>Foo : Symbol(Foo, Decl(deferKeyofGenericIntersections.ts, 0, 0))
+>x : Symbol(x, Decl(deferKeyofGenericIntersections.ts, 0, 12))
+
+type Bar = { y: string };
+>Bar : Symbol(Bar, Decl(deferKeyofGenericIntersections.ts, 0, 37))
+>y : Symbol(y, Decl(deferKeyofGenericIntersections.ts, 1, 12))
+
+type FooAndBar = Foo & Bar;
+>FooAndBar : Symbol(FooAndBar, Decl(deferKeyofGenericIntersections.ts, 1, 25))
+>Foo : Symbol(Foo, Decl(deferKeyofGenericIntersections.ts, 0, 0))
+>Bar : Symbol(Bar, Decl(deferKeyofGenericIntersections.ts, 0, 37))
+
+type Keys<T, U> = keyof (T & U);
+>Keys : Symbol(Keys, Decl(deferKeyofGenericIntersections.ts, 3, 27))
+>T : Symbol(T, Decl(deferKeyofGenericIntersections.ts, 5, 10))
+>U : Symbol(U, Decl(deferKeyofGenericIntersections.ts, 5, 12))
+>T : Symbol(T, Decl(deferKeyofGenericIntersections.ts, 5, 10))
+>U : Symbol(U, Decl(deferKeyofGenericIntersections.ts, 5, 12))
+
+type K1 = keyof Foo;  // never
+>K1 : Symbol(K1, Decl(deferKeyofGenericIntersections.ts, 5, 32))
+>Foo : Symbol(Foo, Decl(deferKeyofGenericIntersections.ts, 0, 0))
+
+type K2 = keyof Bar;  // "y"
+>K2 : Symbol(K2, Decl(deferKeyofGenericIntersections.ts, 7, 20))
+>Bar : Symbol(Bar, Decl(deferKeyofGenericIntersections.ts, 0, 37))
+
+type K3 = Keys<Foo, Bar>;  // "x" | "y"
+>K3 : Symbol(K3, Decl(deferKeyofGenericIntersections.ts, 8, 20))
+>Keys : Symbol(Keys, Decl(deferKeyofGenericIntersections.ts, 3, 27))
+>Foo : Symbol(Foo, Decl(deferKeyofGenericIntersections.ts, 0, 0))
+>Bar : Symbol(Bar, Decl(deferKeyofGenericIntersections.ts, 0, 37))
+
+type K4 = keyof (Foo & Bar);  // "x" | "y"
+>K4 : Symbol(K4, Decl(deferKeyofGenericIntersections.ts, 9, 25))
+>Foo : Symbol(Foo, Decl(deferKeyofGenericIntersections.ts, 0, 0))
+>Bar : Symbol(Bar, Decl(deferKeyofGenericIntersections.ts, 0, 37))
+
+// Repro from #51331
+
+type GestureKey = "drag";
+>GestureKey : Symbol(GestureKey, Decl(deferKeyofGenericIntersections.ts, 10, 28))
+
+type DragState = { movement: [number, number]; };
+>DragState : Symbol(DragState, Decl(deferKeyofGenericIntersections.ts, 14, 25))
+>movement : Symbol(movement, Decl(deferKeyofGenericIntersections.ts, 15, 18))
+
+interface State {
+>State : Symbol(State, Decl(deferKeyofGenericIntersections.ts, 15, 49))
+
+    drag?: DragState;
+>drag : Symbol(State.drag, Decl(deferKeyofGenericIntersections.ts, 17, 17))
+>DragState : Symbol(DragState, Decl(deferKeyofGenericIntersections.ts, 14, 25))
+}
+
+type SharedGestureState = {
+>SharedGestureState : Symbol(SharedGestureState, Decl(deferKeyofGenericIntersections.ts, 19, 1))
+
+    dragging?: boolean;
+>dragging : Symbol(dragging, Decl(deferKeyofGenericIntersections.ts, 21, 27))
+
+};
+
+type FullGestureState<Key extends GestureKey> = SharedGestureState & NonNullable<State[Key]>;
+>FullGestureState : Symbol(FullGestureState, Decl(deferKeyofGenericIntersections.ts, 23, 2))
+>Key : Symbol(Key, Decl(deferKeyofGenericIntersections.ts, 25, 22))
+>GestureKey : Symbol(GestureKey, Decl(deferKeyofGenericIntersections.ts, 10, 28))
+>SharedGestureState : Symbol(SharedGestureState, Decl(deferKeyofGenericIntersections.ts, 19, 1))
+>NonNullable : Symbol(NonNullable, Decl(lib.es5.d.ts, --, --))
+>State : Symbol(State, Decl(deferKeyofGenericIntersections.ts, 15, 49))
+>Key : Symbol(Key, Decl(deferKeyofGenericIntersections.ts, 25, 22))
+
+type Handler<Key extends GestureKey> = (state: Omit<FullGestureState<Key>, "event">) => void;
+>Handler : Symbol(Handler, Decl(deferKeyofGenericIntersections.ts, 25, 93))
+>Key : Symbol(Key, Decl(deferKeyofGenericIntersections.ts, 27, 13))
+>GestureKey : Symbol(GestureKey, Decl(deferKeyofGenericIntersections.ts, 10, 28))
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 27, 40))
+>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
+>FullGestureState : Symbol(FullGestureState, Decl(deferKeyofGenericIntersections.ts, 23, 2))
+>Key : Symbol(Key, Decl(deferKeyofGenericIntersections.ts, 27, 13))
+
+const f1 = (state: Omit<FullGestureState<"drag">, "event">) => {
+>f1 : Symbol(f1, Decl(deferKeyofGenericIntersections.ts, 29, 5))
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 29, 12))
+>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
+>FullGestureState : Symbol(FullGestureState, Decl(deferKeyofGenericIntersections.ts, 23, 2))
+
+  state;
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 29, 12))
+
+  state.movement;
+>state.movement : Symbol(movement, Decl(deferKeyofGenericIntersections.ts, 15, 18))
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 29, 12))
+>movement : Symbol(movement, Decl(deferKeyofGenericIntersections.ts, 15, 18))
+
+};
+
+const f2: Handler<"drag"> = (state) => {
+>f2 : Symbol(f2, Decl(deferKeyofGenericIntersections.ts, 34, 5))
+>Handler : Symbol(Handler, Decl(deferKeyofGenericIntersections.ts, 25, 93))
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 34, 29))
+
+  state;
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 34, 29))
+
+  state.movement;
+>state.movement : Symbol(movement, Decl(deferKeyofGenericIntersections.ts, 15, 18))
+>state : Symbol(state, Decl(deferKeyofGenericIntersections.ts, 34, 29))
+>movement : Symbol(movement, Decl(deferKeyofGenericIntersections.ts, 15, 18))
+
+};
+
diff --git a/tests/baselines/reference/deferKeyofGenericIntersections.types b/tests/baselines/reference/deferKeyofGenericIntersections.types
new file mode 100644
index 00000000000..69492703113
--- /dev/null
+++ b/tests/baselines/reference/deferKeyofGenericIntersections.types
@@ -0,0 +1,88 @@
+//// [tests/cases/compiler/deferKeyofGenericIntersections.ts] ////
+
+=== deferKeyofGenericIntersections.ts ===
+type Foo = { x: string } | undefined;
+>Foo : { x: string; } | undefined
+>x : string
+
+type Bar = { y: string };
+>Bar : { y: string; }
+>y : string
+
+type FooAndBar = Foo & Bar;
+>FooAndBar : { x: string; } & Bar
+
+type Keys<T, U> = keyof (T & U);
+>Keys : keyof (T & U)
+
+type K1 = keyof Foo;  // never
+>K1 : never
+
+type K2 = keyof Bar;  // "y"
+>K2 : "y"
+
+type K3 = Keys<Foo, Bar>;  // "x" | "y"
+>K3 : "x" | "y"
+
+type K4 = keyof (Foo & Bar);  // "x" | "y"
+>K4 : "x" | "y"
+
+// Repro from #51331
+
+type GestureKey = "drag";
+>GestureKey : "drag"
+
+type DragState = { movement: [number, number]; };
+>DragState : { movement: [number, number]; }
+>movement : [number, number]
+
+interface State {
+    drag?: DragState;
+>drag : DragState | undefined
+}
+
+type SharedGestureState = {
+>SharedGestureState : { dragging?: boolean | undefined; }
+
+    dragging?: boolean;
+>dragging : boolean | undefined
+
+};
+
+type FullGestureState<Key extends GestureKey> = SharedGestureState & NonNullable<State[Key]>;
+>FullGestureState : FullGestureState<Key>
+
+type Handler<Key extends GestureKey> = (state: Omit<FullGestureState<Key>, "event">) => void;
+>Handler : Handler<Key>
+>state : Omit<FullGestureState<Key>, "event">
+
+const f1 = (state: Omit<FullGestureState<"drag">, "event">) => {
+>f1 : (state: Omit<FullGestureState<"drag">, "event">) => void
+>(state: Omit<FullGestureState<"drag">, "event">) => {  state;  state.movement;} : (state: Omit<FullGestureState<"drag">, "event">) => void
+>state : Omit<SharedGestureState & DragState, "event">
+
+  state;
+>state : Omit<SharedGestureState & DragState, "event">
+
+  state.movement;
+>state.movement : [number, number]
+>state : Omit<SharedGestureState & DragState, "event">
+>movement : [number, number]
+
+};
+
+const f2: Handler<"drag"> = (state) => {
+>f2 : Handler<"drag">
+>(state) => {  state;  state.movement;} : (state: Omit<SharedGestureState & DragState, "event">) => void
+>state : Omit<SharedGestureState & DragState, "event">
+
+  state;
+>state : Omit<SharedGestureState & DragState, "event">
+
+  state.movement;
+>state.movement : [number, number]
+>state : Omit<SharedGestureState & DragState, "event">
+>movement : [number, number]
+
+};
+
diff --git a/tests/cases/compiler/deferKeyofGenericIntersections.ts b/tests/cases/compiler/deferKeyofGenericIntersections.ts
new file mode 100644
index 00000000000..76fec08300a
--- /dev/null
+++ b/tests/cases/compiler/deferKeyofGenericIntersections.ts
@@ -0,0 +1,41 @@
+// @strict: true
+// @noEmit: true
+
+type Foo = { x: string } | undefined;
+type Bar = { y: string };
+
+type FooAndBar = Foo & Bar;
+
+type Keys<T, U> = keyof (T & U);
+
+type K1 = keyof Foo;  // never
+type K2 = keyof Bar;  // "y"
+type K3 = Keys<Foo, Bar>;  // "x" | "y"
+type K4 = keyof (Foo & Bar);  // "x" | "y"
+
+// Repro from #51331
+
+type GestureKey = "drag";
+type DragState = { movement: [number, number]; };
+
+interface State {
+    drag?: DragState;
+}
+
+type SharedGestureState = {
+    dragging?: boolean;
+};
+
+type FullGestureState<Key extends GestureKey> = SharedGestureState & NonNullable<State[Key]>;
+
+type Handler<Key extends GestureKey> = (state: Omit<FullGestureState<Key>, "event">) => void;
+
+const f1 = (state: Omit<FullGestureState<"drag">, "event">) => {
+  state;
+  state.movement;
+};
+
+const f2: Handler<"drag"> = (state) => {
+  state;
+  state.movement;
+};