> I'm still curious what future use of the dot was being referenced though, I
> don't think I understood that possibility, and might have a different opinion
> if I did.
As said this was a purely theoretical remark, meaning that if we strip it
implicitly it becomes part of the API so has to be kept "forever". I have no
plan nor ideas why giving the leading not a special meaning would be a good
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub: