Resynthesize static method references.

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

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library test.src.serialization.elements_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/dart/element/element.dart';
@@ skipping 218 matching lines @@
         } else {
           fail('$desc Incompatible item types: '
               '${rItem.runtimeType} vs. ${oItem.runtimeType}');
         }
       }
     }
     if (o == null) {
       expect(r, isNull, reason: desc);
     } else {
       expect(r, isNotNull, reason: desc);
-      compareTypes(r.staticType, o.staticType, desc);

[Paul Berry, 2016/02/01 20:48:47]

Why is it ok to delete this check?

[scheglov, 2016/02/01 20:52:45]

By the same reason why we did this for SimpleIdentifier.
But yes, I realized that we need to document this and moved the comment from the
SimpleIdentifier branch to here.

       if (o is ParenthesizedExpression) {
         // We don't resynthesize parenthesis, so just ignore it.
         compareConstantExpressions(r, o.expression, desc);
       } else if (o is SimpleIdentifier && r is SimpleIdentifier) {
         expect(r.name, o.name);
         compareElements(r.staticElement, o.staticElement, desc);
         // ConstantAstCloner does not copy static types, and constant values
         // computer does not use static types. So, we don't set them during
         // resynthesis and should not check them.
       } else if (o is PrefixedIdentifier && r is SimpleIdentifier) {
@@ skipping 797 matching lines @@
 class C {
   static const int F = 42;
 }
 ''');
     checkLibrary(r'''
 import 'a.dart' as p;
 const V = p.C.F;
 ''');
   }
 
+  test_const_reference_staticMethod() {
+    shouldCompareConstValues = true;
+    checkLibrary(r'''
+class C {
+  static int m(int a, String b) => 42;
+}
+const V = C.m;
+''');
+  }
+
+  test_const_reference_staticMethod_imported() {
+    shouldCompareConstValues = true;
+    addLibrarySource(
+        '/a.dart',
+        r'''
+class C {
+  static int m(int a, String b) => 42;
+}
+''');
+    checkLibrary(r'''
+import 'a.dart';
+const V = C.m;
+''');
+  }
+
+  test_const_reference_staticMethod_imported_withPrefix() {
+    shouldCompareConstValues = true;
+    addLibrarySource(
+        '/a.dart',
+        r'''
+class C {
+  static int m(int a, String b) => 42;
+}
+''');
+    checkLibrary(r'''
+import 'a.dart' as p;
+const V = p.C.m;
+''');
+  }
+
   test_const_reference_topLevelVariable() {
     shouldCompareConstValues = true;
     checkLibrary(r'''
 const A = 1;
 const B = A + 2;
 ''');
   }
 
   test_const_reference_topLevelVariable_imported() {
     shouldCompareConstValues = true;
@@ skipping 1144 matching lines @@
       fail('Unexpectedly tried to get unlinked summary for $uri');
     }
     return serializedUnit;
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return true;
   }
 }