Fix top level type inference for binary operators.

pkg/analyzer/test/src/summary/resynthesize_common.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/ast/standard_resolution_map.dart';
 import 'package:analyzer/dart/constant/value.dart';
 import 'package:analyzer/dart/element/element.dart';
@@ skipping 5102 matching lines @@
 const bool vAnd = true && false;
 const bool vOr = false || true;
 const int vBitXor = 1 ^ 2;
 const int vBitAnd = 1 & 2;
 const int vBitOr = 1 | 2;
 const int vBitShiftLeft = 1 << 2;
 const int vBitShiftRight = 1 >> 2;
 const int vAdd = 1 + 2;
 const int vSubtract = 1 - 2;
 const int vMiltiply = 1 * 2;
-const num vDivide = 1 / 2;
+const double vDivide = 1 / 2;
 const int vFloorDivide = 1 ~/ 2;
 const int vModulo = 1 % 2;
 const bool vGreater = 1 > 2;
 const bool vGreaterEqual = 1 >= 2;
 const bool vLess = 1 < 2;
 const bool vLessEqual = 1 <= 2;
 ''');
     } else {
       checkElementText(
           library,
@@ skipping 2724 matching lines @@
 import "a.dart";
 class C {
   final b = a / 2;
 }''');
     if (isStrongMode) {
       checkElementText(
           library,
           r'''
 import 'a.dart';
 class C {
-  final num b =
+  final double b =
         a/*location: a.dart;a?*/ / 2;
 }
 ''');
     } else {
       checkElementText(
           library,
           r'''
 import 'a.dart';
 class C {
   final dynamic b =
@@ skipping 11 matching lines @@
 class C {
   final b = a / 2;
 }''');
     if (isStrongMode) {
       checkElementText(
           library,
           r'''
 library lib;
 part 'a.dart';
 class C {
-  final num b =
+  final double b =
         a/*location: test.dart;a.dart;a?*/ / 2;
 }
 --------------------
 unit: a.dart
 
 final int a;
 ''');
     } else {
       checkElementText(
           library,
@@ skipping 7184 matching lines @@
   }
 
   test_variable_propagatedType_final_dep_inLib() {
     addLibrarySource('/a.dart', 'final a = 1;');
     var library = checkLibrary('import "a.dart"; final b = a / 2;');
     if (isStrongMode) {
       checkElementText(
           library,
           r'''
 import 'a.dart';
-final num b;
+final double b;
 ''');
     } else {
       checkElementText(
           library,
           r'''
 import 'a.dart';
 final dynamic b;
 ''');
     }
   }
 
   test_variable_propagatedType_final_dep_inPart() {
     addSource('/a.dart', 'part of lib; final a = 1;');
     var library = checkLibrary('library lib; part "a.dart"; final b = a / 2;');
     if (isStrongMode) {
       checkElementText(
           library,
           r'''
 library lib;
 part 'a.dart';
-final num b;
+final double b;
 --------------------
 unit: a.dart
 
 final int a;
 ''');
     } else {
       checkElementText(
           library,
           r'''
 library lib;
@@ skipping 167 matching lines @@
       fail('Unexpectedly tried to get unlinked summary for $uri');
     }
     return serializedUnit;
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return true;
   }
 }