Reported by Pavel:

> Similarly, for ClassMemberNamePattern, TypePatterns need to be allowed:
> call(* A[].foo()) and get(int A[].length) are both valid syntax.

> This is actually not general enough – rather than having
> ClassNamePatterns there, full TypePatterns should be allowed:

Submitted on 8 June 2006 at 09:28