currently this linter rule does not flag the usage of an annotation that redundantly specifies a default value. for example

@Example(0) /*<= no lint for redundant argument*/ void f()
{
}
extension type const Example._(int i)
{  const Example([this.i=0]);
}

from this doc it sounds like it would be intended to cover such a case since it is for argument values in general