We need to add support for cast expression in USVM-TS machine. Seems like the remaining branches should consider only cast from some type to any (creating a fake object) and then cast from this any into a regular type (adding type constraint for the fake object). Otherwise, such situation should be treated as an exception.
We need to add support for cast expression in USVM-TS machine. Seems like the remaining branches should consider only cast from some type to any (creating a fake object) and then cast from this any into a regular type (adding type constraint for the fake object). Otherwise, such situation should be treated as an exception.