diff --git a/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts b/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts
index 278d72595cd..2a756788f6f 100644
--- a/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts
+++ b/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts
@@ -34,3 +34,8 @@ type Example<T, U> = { [K in keyof T]: K extends keyof U ? UnexpectedError<K> :
 
 type UnexpectedError<T extends PropertyKey> = T
 type NoErrorHere<T extends PropertyKey> = T
+
+// Repro from #30331
+
+type a<T> = T extends Array<infer U> ? U : never;
+type b<T> = { [K in a<T> & keyof T ]: 42 };