I am a big fan of allowing for labeled blocks. The compiler already internally supports them for use with catch { } (that is how the HIR represents catch). At the same time, I would like to enable the use of these labels as lifetimes – so that one could annotate lifetimes within a function body explicitly.
8 Likes