anchor.diff:   */
   /**
    * @assertion A class declaration, or type alias G may be generic, this is,
  - * G may have formal type parametera declared.
  + * G may have formal type parameters declared.
    * . . .
    * typeParameter:
    *   metadata identifier (extends type)?
  
positive.code:   f3 foo3;
    f4 foo4;
    f5 foo5;
  //  f6 foo6;
  //  f7 foo7;
    fManyParameters foo8;
  }
  
  
negative.code: typedef f3<T extends f1<T>, S extends I, V extends Function>();
  typedef f4<T extends f3<U, S, V>, U extends T, V extends U, S>();
  typedef f5<T extends f1<List<List<List<List>>>>>();
  
  main() {
    f1 foo1;
  