Implement type inference of static invocations.

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart

Index: pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
index fc66b07cfe896ecfa70928d9d9b0338ff57aa89f..f320b69d7abe73778994ee273589351ecf780a27 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
@@ -554,8 +554,17 @@ class KernelStaticInvocation extends StaticInvocation
   @override
   DartType _inferExpression(
       KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
-    // TODO(scheglov): implement.
-    return typeNeeded ? const DynamicType() : null;
+    return inferrer.inferStaticInvocation(
+        typeContext,
+        typeNeeded,
+        fileOffset,
+        target,
+        name,
+        _getExplicitTypeArguments(arguments),
+        _forEachArgument(arguments), (types) {
+      arguments.types.clear();
+      arguments.types.addAll(types);
+    });
   }
 }