Analyzer false-negative for invalid type arguments on dot-shorthand constructors #61978
Description
Dart version: 3.10.0
dart analyze does not flag the following code even though it fails to compile:
abstract class Foo<T> {
factory Foo.a() = _Foo;
Foo();
}
class _Foo<T> extends Foo<T> {
_Foo();
}
Foo<T> bar<T>() => .a<T>();The following error is emitted when the code is compiled:
Error: A dot shorthand constructor invocation can't have type arguments.
Try adding the class name and type arguments explicitly before the constructor name.
Foo<T> bar<T>() => .a<T>();
^