id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
4,Check for unsound erasure of type lambdas in core to sea translation,benl,,"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).
",enhancement,new,minor,,Core to Sea Translation,,,,