```dart void main() { final A a = .copy(); // linter doesn't report error } class A { A copy() => A(); } ``` Maybe should fail at analysis time rather than at compilation.