> 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:

Reply via email to