Closed mario-bucev closed 4 months ago
In some cases, ImperativeCleanup would eliminate unused bindings even though it should not (causing unsoundness as in the test case TupleCleanup).
ImperativeCleanup
TupleCleanup
In some cases,
ImperativeCleanup
would eliminate unused bindings even though it should not (causing unsoundness as in the test caseTupleCleanup
).