Skip to content

Commit 4d0244c

Browse files
committed
Add regression test
1 parent 9b3b8e3 commit 4d0244c

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -110,3 +110,10 @@ interface Type {
110110
function get123<K extends keyof Type>(): Type[K] {
111111
return 123; // Error
112112
}
113+
114+
// Repro from #30920
115+
116+
type StrictExtract<T, U> = T extends U ? U extends T ? T : never : never;
117+
type StrictExclude<T, U> = T extends StrictExtract<T, U> ? never : T;
118+
type A<T> = { [Q in { [P in keyof T]: P; }[keyof T]]: T[Q]; };
119+
type B<T, V> = A<{ [Q in keyof T]: StrictExclude<B<T[Q], V>, {}>; }>;

0 commit comments

Comments
 (0)