anchor.diff:    void f4({@m covariant p1, @m covariant int? p2}) {}
   
     @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(int _) {}
  +  set prop(@m int _) {}
   
     @m
  -  bool operator ==(other) => true;
  +  static int get staticProp => 0;
  +
  +  @m
  +  static set staticProp(@m int _) {}
  +
  +  @m
  +  bool operator ==(@m other) => true;
   }
   
   @m
  
positive.code: 
    @m
    void f2({@m p1, @m int p2 = 0}) {}
  }
  
  @m
  
negative.code: 
    @m
    void f4({@m covariant p1, @m covariant 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
    bool operator ==(@m other) => true;
  }
  
  @m
  