Closed kaleidawave closed 4 months ago
Currently doing some research in contravariance and covariance with respect to explicit generics. Not impossible but generics and structural type systems don't mix nice. Especially as my implementation tries to collect generics at the same time as subtyping of arguments against parameters (rather than two passes). We will get there!
Just seen the date and diff count of this PR. Still lots to do but to prevent this dragging on forever (it was originally just to add the cache back), will merge now and open issues for the leftovers.
for (... in ...)
Contributions
Environment
s and that is now where return types and thrown values are lookedArray.map
, which works sometimes!Now passes 180 specification tests 🎉