Is there any static code analyzer for Dart to detect Future#then's onError arguments?

main.dart

void main() {
  Future(() => throw Exception())
    .then((i) => print(i),
          // Statically, no issues found. But it causes RUNTIME error 👇
          // 
          // Uncaught Error: TypeError: Closure 'main_closure1': type '() => void' is not a subtype of type '(Object) => dynamic'
          onError: () => print("foo"));
  
  Future(() => throw Exception())
    .then((i) => print(i),
          // Of course, no runtime error if onError has one or two arguments.
          onError: (e) => print(e));
}