Ticket #4 (new enhancement)
Check for unsound erasure of type lambdas in core to sea translation
|Reported by:||benl||Owned by:|
|Component:||Core to Sea Translation||Version:|
Erasing type lambdas from mutable objects is unsound due to the problem with polymorphic update.
The Source type inferencer does a dangerous variables check to avoid introducing said type lambdas, but we should check that we don't erase them as well. (a double check).