Split TypeSystem.typeInformations into member/parameter info

pkg/compiler/lib/src/inferrer/inferrer_engine.dart

 // Copyright (c) 2017, 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:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../common/names.dart';
 import '../compiler.dart';
 import '../constants/expressions.dart';
@@ skipping 603 matching lines @@
         }
         workQueue.addAll(info.users);
         if (info.hasStableType(this)) {
           info.stabilize(this);
         }
       }
     }
   }
 
   void buildWorkQueue() {
-    workQueue.addAll(types.typeInformations.values);
+    workQueue.addAll(types.orderedTypeInformations);
     workQueue.addAll(types.allocatedTypes);
     workQueue.addAll(types.allocatedClosures);
     workQueue.addAll(types.allocatedCalls);
   }
 
   /**
    * Update the assignments to parameters in the graph. [remove] tells
    * wheter assignments must be added or removed. If [init] is false,
    * parameters are added to the work queue.
    */
@@ skipping 395 matching lines @@
   }
 
   void clear() {
     void cleanup(TypeInformation info) => info.cleanup();
 
     types.allocatedCalls.forEach(cleanup);
     types.allocatedCalls.clear();
 
     defaultTypeOfParameter.clear();
 
-    types.typeInformations.values.forEach(cleanup);
+    types.parameterTypeInformations.values.forEach(cleanup);
+    types.memberTypeInformations.values.forEach(cleanup);
 
     types.allocatedTypes.forEach(cleanup);
     types.allocatedTypes.clear();
 
     types.concreteTypes.clear();
 
     types.allocatedClosures.forEach(cleanup);
     types.allocatedClosures.clear();
 
     analyzedElements.clear();
@@ skipping 55 matching lines @@
   /**
    * Records that the captured variable [local] is read.
    */
   void recordCapturedLocalRead(Local local) {}
 
   /**
    * Records that the variable [local] is being updated.
    */
   void recordLocalUpdate(Local local, TypeInformation type) {}
 }