@johnno1962 does this basically make your patch equivalent to the following idea?
If we had to use any, some and potentially meta explicitly then it feels like you're proposing to allow to write extension some P : Q { ... }. Am I correct?
@johnno1962 does this basically make your patch equivalent to the following idea?
If we had to use any, some and potentially meta explicitly then it feels like you're proposing to allow to write extension some P : Q { ... }. Am I correct?