Because it would massively alter langage semantics? It converts returns from the nearest function into returns from the nearest (try) block.