anchor.diff:      ;
   
   memberType
  -    : type | 'void' | 'local'
  +    : union | 'void' | 'local'
       ;
   
   memberParameters
  
positive.code: typeConstraints
      : typeConstraint+
      -> ^(TYPE_CONSTRAINT_LIST typeConstraint+)
      ;
  
  type
  
negative.code:     ;
  
  typeArgument
      : union '...'? | '#'! dimension
      ;
  
  dimension
  