This pass should expand checked Cast (i.e. Cast(checked = true, ...) into an explicit if !(x is T) then throw ... test.
A WIP implementation is available in https://github.com/Derppening/mlscript/tree/enhance/checkedcastexpansion.
See #504 (comment) and #504 (comment) for the current blocker.
This pass should expand checked
Cast(i.e.Cast(checked = true, ...)into an explicitif !(x is T) then throw ...test.A WIP implementation is available in https://github.com/Derppening/mlscript/tree/enhance/checkedcastexpansion.
See #504 (comment) and #504 (comment) for the current blocker.