anchor.diff:      ;
   
   typeBound
  -    :   type ('&' type)*
  +    :   typeType ('&' typeType)*
       ;
   
   enumDeclaration
  
positive.code:     ;
  
  typeArgument
      :   type
      |   '?' (('extends' | 'super') type)?
      ;
  
  qualifiedNameList
  
negative.code:     |   expression ('+'|'-') expression
      |   expression ('<' '<' | '>' '>' '>' | '>' '>') expression
      |   expression ('<=' | '>=' | '>' | '<') expression
      |   expression 'instanceof' typeType
      |   expression ('==' | '!=') expression
      |   expression '&' expression
      |   expression '^' expression
  