I like this proposal. I understand the use case and find it quite compelling. I think it is a little clunky that it is assigning in the case where the finally is executed without an error, but I think the advantages outlined here outweigh this clunkiness.
I also prefer it without the as form.
However, I share this concern;
If this can be worked around such that it can distinguish this, then I am all for this change.