modulo longer lived arenas like 'tcx in the compiler, which are the exception, and also readily identifiable
@nikomatsakis what makes them readily identifiable?
perhaps that was the wrong phrase. What I meant was "when you see the name
'tcx, you know what it is"
or, to put another way, you had better learn...
in other words, when I see
Foo<'tcx> in the compiler, I know that it can escape, in contrast to
Foo<'a>, which I may not be able to do;
Foo<'_>, of course, is ambiguous, which I see as suboptimal
Personally, I always assume it's a misspelling of
ctx, one of the common abbreviations for "context", but it's not like I'm in there a lot
the specific name is not really the point
I sort of want to rename it to
actually, it'd probably be
'gcx would be
I know the name isn't the point, it's the fact that it has a name, right?