Skip to content

Fixed mapped types not being considered as homomorphic with substitution constraints - #4596

Closed
Mateusz Burzyński (Andarist) wants to merge 2 commits into
microsoft:mainfrom
Andarist:fix/homomorphic-mapped-types-substitution-constraints
Closed

Fixed mapped types not being considered as homomorphic with substitution constraints#4596
Mateusz Burzyński (Andarist) wants to merge 2 commits into
microsoft:mainfrom
Andarist:fix/homomorphic-mapped-types-substitution-constraints

Add mapped type homomorphism key checks test

5e28359
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
CodeQL-Build
succeeded Aug 19, 2026 in 4m 41s