Fix the locals lookup of variables and partial implementation of boxing of variables.

pkg/compiler/lib/src/universe/use.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.
 
 /// This library defines individual world impacts.
 ///
 /// We call these building blocks `uses`. Each `use` is a single impact of the
 /// world. Some example uses are:
 ///
 ///  * an invocation of a top level function
 ///  * a call to the `foo()` method on an unknown class.
 ///  * an instantiation of class T
 ///
 /// The different compiler stages combine these uses into `WorldImpact` objects,
 /// which are later used to construct a closed-world understanding of the
 /// program.
 library dart2js.universe.use;
 
 import '../closure.dart' show BoxFieldElement;
 import '../common.dart';
 import '../constants/values.dart';
 import '../elements/types.dart';
+import '../js_model/closure.dart' show JRecord;
 import '../elements/elements.dart' show Element;
 import '../elements/entities.dart';
 import '../util/util.dart' show Hashing;
 import '../world.dart' show World;
 import 'call_structure.dart' show CallStructure;
 import 'selector.dart' show Selector;
 import 'world_builder.dart' show ReceiverConstraint;
 
 enum DynamicUseKind {
   INVOKE,
@@ skipping 318 matching lines @@
     assert(
         element.isInstanceMember,
         failedAt(
             element, "Field init element $element must be an instance field."));
     return new StaticUse.internal(element, StaticUseKind.GENERAL);
   }
 
   /// Read access of an instance field or boxed field [element].
   factory StaticUse.fieldGet(FieldEntity element) {
     assert(
-        element.isInstanceMember || element is BoxFieldElement,
+        element.isInstanceMember ||
+            element is BoxFieldElement ||
+            element is JRecord,
         failedAt(element,
             "Field init element $element must be an instance or boxed field."));
     return new StaticUse.internal(element, StaticUseKind.FIELD_GET);
   }
 
   /// Write access of an instance field or boxed field [element].
   factory StaticUse.fieldSet(FieldEntity element) {
     assert(
-        element.isInstanceMember || element is BoxFieldElement,
+        element.isInstanceMember ||
+            element is BoxFieldElement ||
+            element is JRecord,
         failedAt(element,
             "Field init element $element must be an instance or boxed field."));
     return new StaticUse.internal(element, StaticUseKind.FIELD_SET);
   }
 
   /// Read of a local function [element].
   factory StaticUse.closure(Local element) {
     return new StaticUse.internal(element, StaticUseKind.CLOSURE);
   }
 
@@ skipping 145 matching lines @@
       : this._(value, ConstantUseKind.DIRECT);
 
   bool operator ==(other) {
     if (identical(this, other)) return true;
     if (other is! ConstantUse) return false;
     return value == other.value;
   }
 
   String toString() => 'ConstantUse(${value.toStructuredText()},$kind)';
 }