Add missing mapped type indexed access constraint - #47370

Merged

Anders Hejlsberg (ahejlsberg) merged 6 commits into

mainfrom

Jan 11, 2022

Commits on Jan 10, 2022

Type { [P in K]: E }[X] has constraint E with X substutited for P
Anders Hejlsberg (ahejlsberg)
committed
f483738
Add regression test
Anders Hejlsberg (ahejlsberg)
committed
0a0b227
Fix PragmaMap and ReadonlyPragmaMap declarations
Anders Hejlsberg (ahejlsberg)
committed
8223920
Explore additional constraint
Anders Hejlsberg (ahejlsberg)
committed
d0f3303
Revert previous change
Anders Hejlsberg (ahejlsberg)
committed
c67f160
Add tests
Anders Hejlsberg (ahejlsberg)
committed
fcde8a2