A keyword for existential quantification. The 'named
impl Trait’ RFC proposed ‘
existential’, but consensus seems to be that it is too long to become a keyword. Aside from that feature, such a keyword could be re-used to declare existential lifetimes, which would come handy in self-referential types, and perhaps in other places:
struct Box<T: ?Sized, existential 'a>(&'a move T);
What about for new kinds of references?
&place are all words I’ve suggested or seen suggested.
move are already keywords, but the others might be worth considering.
We should reserve
guard to be able to revive the
let...else RFC with a less controversial syntax (
guard is what is used in Swift AFAIK).
I think in the thread where I had a large discussion on reviving refutable let there was a strong bias towards just using
let ... else [match].
guard let ... else [match] does not fix the grammar ambiguity present (see said thread), so the alternative that does not have an ambiguity is
unless let ... [match]. I also believe that
unless can be contextual in this position, thus my not suggesting either up to this point.
guard is also a useful identifier.
Please edit the original post to add links to the RFCs where these keywords are being discussed. I’ve never even heard of half of these being up for reservation.
What about the possibility of people creating crates named with potential keywords? For example there is a crate called
Yes, I suppose that’s where conflict would arise. I guess we could force people to rename them in