https://github.com/microsoft/TypeScript/pull/58220#58859

Merged

gabritto merged 9 commits intomainfrom

gabritto/elaboration

Jul 15, 2024

Commits on May 28, 2024

add test
gabritto
committed

Commits on May 29, 2024

always elaborate if reporting errors
gabritto
committed

Commits on Jun 13, 2024

Commits on Jul 8, 2024

update comment
gabritto
committed

Commits on Jul 9, 2024

wip
gabritto
committed

Commits on Jul 10, 2024