New <KEEP-409> on Subtyping Reconstruction is open...
# language-proposalsr
Roman Venediktov
02/04/2025, 10:16 AMNew KEEP-409 on Subtyping Reconstruction is open for review.
This KEEP presents the Subtyping Reconstruction technique that introduces smart casts for generics. This feature might be known to you as GADT.
Any feedback is welcome
K 17
4 Views