Propagated types are incorrect for non-local branches #2810
Description
The type propagator does not correctly merge local types in the presence of non-local branches (break or continue out of blocks). Any changes to local types at the branch point are forgotten instead of being merged to the statically-known branch target
This is the reason we currently skip tests/finally-params-test.toit when testing the type propagator.