Store staticInvokeType and typeArgumentTypes.

We set them during linking, so for consistency and to keep the same
expectations for linking and loaded elements tests, we need to
store and read them.

Change-Id: I8de88e2dbf4e08eee2d654b27f7cb548ffb7f1be
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/202161
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Samuel Rawlins <srawlins@google.com>

Author: scheglov

pkg/analyzer/lib/src/dart/analysis/driver.dart

@@ -81,7 +81,7 @@ import 'package:meta/meta.dart';
 /// TODO(scheglov) Clean up the list of implicitly analyzed files.
 class AnalysisDriver implements AnalysisDriverGeneric {
   /// The version of data format, should be incremented on every format change.
-  static const int DATA_VERSION = 141;
+  static const int DATA_VERSION = 143;
 
   /// The length of the list returned by [_computeDeclaredVariablesSignature].
   static const int _declaredVariablesSignatureLength = 4;

pkg/analyzer/lib/src/summary2/ast_binary_reader.dart

@@ -575,7 +575,7 @@ class AstBinaryReader {
       typeArguments,
       arguments,
     );
-    _readExpressionResolution(node);
+    _readInvocationExpression(node);
     return node;
   }
 
@@ -748,8 +748,8 @@ class AstBinaryReader {
   }
 
   void _readInvocationExpression(InvocationExpressionImpl node) {
-    // TODO(scheglov) typeArgumentTypes and staticInvokeType?
-    node.typeArgumentTypes = [];
+    node.staticInvokeType = _reader.readType();
+    node.typeArgumentTypes = _reader.readOptionalTypeList();
     _readExpressionResolution(node);
   }
 

pkg/analyzer/lib/src/summary2/ast_binary_writer.dart

@@ -790,8 +790,9 @@ class AstBinaryWriter extends ThrowingAstVisitor<void> {
   void _storeInvocationExpression(InvocationExpression node) {
     _writeOptionalNode(node.typeArguments);
     _writeNode(node.argumentList);
+    _sink.writeType(node.staticInvokeType);
+    _sink.writeOptionalTypeList(node.typeArgumentTypes);
     _storeExpression(node);
-    // TODO(scheglov) typeArgumentTypes and staticInvokeType?
   }
 
   void _storeNormalFormalParameter(

pkg/analyzer/lib/src/summary2/bundle_reader.dart

@@ -1343,6 +1343,12 @@ class ResolutionReader {
     throw UnimplementedError('memberFlags: $memberFlags');
   }
 
+  List<DartType>? readOptionalTypeList() {
+    if (_reader.readBool()) {
+      return _readTypeList();
+    }
+  }
+
   DartType readRequiredType() {
     return readType()!;
   }

pkg/analyzer/lib/src/summary2/bundle_writer.dart

@@ -547,6 +547,15 @@ class ResolutionSink extends _SummaryDataWriter {
     }
   }
 
+  void writeOptionalTypeList(List<DartType>? types) {
+    if (types != null) {
+      writeBool(true);
+      _writeTypeList(types);
+    } else {
+      writeBool(false);
+    }
+  }
+
   void writeType(DartType? type) {
     if (type == null) {
       writeByte(Tag.NullType);

pkg/analyzer/test/src/summary/resynthesize_common.dart

@@ -3012,7 +3012,7 @@ const int a;
             staticType: int Function()
             token: abs
           operator: ..
-          staticInvokeType: null
+          staticInvokeType: int Function()
           staticType: int
       staticType: int
       target: IntegerLiteral
@@ -3908,8 +3908,10 @@ const int b;
         staticElement: self::@function::f
         staticType: T Function<T>(T)
         token: f
-      staticInvokeType: null
+      staticInvokeType: int Function(int)
       staticType: int
+      typeArgumentTypes
+        int
       typeArguments: TypeArgumentList
         arguments
           TypeName