Is this intended to include lifetime labels, e.g. `fn foo() { 'foo: loop { ... } }` ?  AFAICT it doesn't include that in the current code (presumably by design), but is it planned future work?  Maybe elaborate here (or include an issue number for resolving this question) so that future implementors of the Visitor trait will have a notion of what to do.