Exactly, that's why I said that the current behavior for matching is confusing because nothing points you that I'm assuming that you are writing a pattern for a method.

That example was on purpose just to show that... sometimes we give more logic to the semantics and the `name is just a variable name... And we have syntax-correct code but it's the contextual information that we are missing that completly change everything