Closed
Description
More discussion: #53351.
The question is whether we want to treat extension types as effectively annotated @immutable
(since they essentially are) and lint all non const constructors on extension types.
/cc @goderbauer @a14n @eernstg