anchor.diff:  
     @m
     void f2({@m p1, @m int p2 = 0}) {}
  +
  +  @m
  +  static void f1s(@m p1, @m int p2, [@m p3, @m int? p4]) {}
  +
  +  @m
  +  static void f2s({@m p1, @m int? p2}) {}
  +
  +  @m
  +  int get prop => 0;
  +
  +  @m
  +  set prop(@m int _) {}
  +
  +  @m
  +  static int get staticProp => 0;
  +
  +  @m
  +  static set staticProp(@m int _) {}
   }
   
   @m
  
positive.code: 
    @m
    void f4({@m covariant p1, @m covariant int p2 = 0}) {}
  }
  
  @m
  
negative.code: class D<@m X> {}
  
  @m
  typedef void F1<@m X>();
  
  @m
  typedef F2<@m X>= void Function();
  
  @m
  void main() {
    @m
    var x;
  