Use backend's types for native types. Handle "other dependencies". Gets rid of

tests/compiler/dart2js/cpa_inference_test.dart

 // Copyright (c) 2012, 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.
 
 import "package:expect/expect.dart";
 import '../../../sdk/lib/_internal/compiler/implementation/scanner/scannerlib.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/source_file.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart';
 
 import "parser_helper.dart";
@@ skipping 141 matching lines @@
     bool get isEven;
   }
   abstract class double extends num {
     bool get isNaN;
   }
   class bool {}
   class String {}
   class Object {}
   class Function {}
   abstract class List<E> {
-    factory List([int length]) {}
-    E operator [](int index);
-    void operator []=(int index, E value);
+    factory List([int length]) => JS('=List', r'new Array(#)', length);
   }
   abstract class Map<K, V> {}
   class Closure {}
   class Null {}
   class Type {}
   class StackTrace {}
   class Dynamic_ {}
   bool identical(Object a, Object b) {}''';
 
 AnalysisResult analyze(String code, {int maxConcreteTypeSize: 1000}) {
@@ skipping 1021 matching lines @@
         new BFactory();
         // should be of type {int} and not {int, String} since B is unreachable
         var foo = "__dynamic_for_test".witness();
         foo;
       }
       """;
   AnalysisResult result = analyze(source);
   result.checkNodeHasType('foo', [result.int]);
 }
 
-testGoodGuys() {
-  final String source = r"""
-      main() {
-        var a = 1.isEven;
-        var b = 3.14.isNaN;
-        var c = 1.floor();
-        var d = 3.14.floor();
-        a; b; c; d;
-      }
-      """;
-  AnalysisResult result = analyze(source);
-  result.checkNodeHasType('a', [result.bool]);
-  result.checkNodeHasType('b', [result.bool]);
-  result.checkNodeHasType('c', [result.num]);
-  result.checkNodeHasType('d', [result.num]);
-}
-
 testIntDoubleNum() {
   final String source = r"""
       main() {
         var a = 1;
         var b = 1.0;
         var c = true ? 1 : 1.0;
         a; b; c;
       }
       """;
   AnalysisResult result = analyze(source);
@@ skipping 162 matching lines @@
   testSendWithWrongArity();
   testBigTypesWidening1();
   testBigTypesWidening2();
   testDynamicIsAbsorbing();
   testLists();
   testListWithCapacity();
   testEmptyList();
   testJsCall();
   testIsCheck();
   testSeenClasses();
-  testGoodGuys();
   testIntDoubleNum();
   testConcreteTypeToTypeMask();
   testSelectors();
 }