Should prefer_final_parameters fire on a super-parameter?

[srawlins]

The prefer_final_parameters rule has tests indicating that it should report constructor parameters:

class C {
  C.badValue(String value): this.value = value; // LINT
}

but not for field formal parameters:

class C {
  C.goodValue(this.value); // OK
}

So, what about super-parameters? Whether it should or shouldn't, there should be a test.

[eernstg]

A super parameter is final even without the final modifier, just like an initializing formal, so it seems superfluous to ask for the modifier.

[srawlins]

I'm happy to submit the test case.

[pq]

Thanks @srawlins!