Enhance precision of recorded instantiation info in ResolutionWorldBuilder

tests/compiler/dart2js/kernel/closed_world_test.dart

 // Copyright (c) 2016, 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.
 
 // Tests that the closed world computed from [WorldImpact]s derived from kernel
 // is equivalent to the original computed from resolution.
 library dart2js.kernel.closed_world_test;
 
 import 'package:async_helper/async_helper.dart';
 import 'package:compiler/src/commandline_options.dart';
@@ skipping 17 matching lines @@
 import 'package:compiler/src/world.dart';
 import 'package:expect/expect.dart';
 import 'impact_test.dart';
 import '../memory_compiler.dart';
 import '../serialization/helper.dart';
 import '../serialization/model_test_helper.dart';
 
 const SOURCE = const {
   'main.dart': '''
 main() {
-  print('Hello World!');
+  print(new List<String>()..add('Hello World!'));
 }
 '''
 };
 
 main(List<String> args) {
   Arguments arguments = new Arguments.from(args);
   Uri entryPoint;
   Map<String, String> memorySourceFiles;
   if (arguments.uri != null) {
     entryPoint = arguments.uri;
@@ skipping 51 matching lines @@
 
     checkResolutionEnqueuers(compiler.enqueuer.resolution, enqueuer,
         typeEquivalence: (DartType a, DartType b) {
       return areTypesEquivalent(unalias(a), unalias(b));
     }, elementFilter: (Element element) {
       if (element is ConstructorElement && element.isRedirectingFactory) {
         // Redirecting factory constructors are skipped in kernel.
         return false;
       }
       return true;
-    }, verbose: arguments.verbose);
+    }, checkInstantiatedTypesAndClasses: false, verbose: arguments.verbose);
     checkClosedWorlds(compiler.closedWorld, closedWorld,
         verbose: arguments.verbose);
   });
 }