Support checked mode for field setters.

lib/compiler/implementation/enqueue.dart

Index: lib/compiler/implementation/enqueue.dart
===================================================================
--- lib/compiler/implementation/enqueue.dart	(revision 11610)
+++ lib/compiler/implementation/enqueue.dart	(working copy)
@@ -163,19 +163,27 @@
   void processInstantiatedClassMember(Element member) {
     if (universe.generatedCode.containsKey(member)) return;
     if (resolvedElements[member] !== null) return;
-
     if (!member.isInstanceMember()) return;
-    if (member.isField()) return;
 
+    if (member.kind === ElementKind.FIELD) {

[floitsch, 2012/08/30 14:35:14]

if (member.isField()) {

[ngeoffray, 2012/08/30 17:10:21]

I kept the original style of this method, which uses kinds.

+      universe.instantiatedClassInstanceFields.add(member.name);
+      if (compiler.enableTypeAssertions) {
+        Type type = member.computeType(compiler);
+        registerIsCheck(type.element);
+        SourceString helper = compiler.backend.getCheckedModeHelper(type);
+        if (helper != null) {
+          Element helperElement = compiler.findHelper(helper);
+          registerStaticUse(helperElement);
+        }
+      }  
+      return;
+    }
+
     String memberName = member.name.slowToString();
     Link<Element> members = instanceMembersByName.putIfAbsent(
         memberName, () => const EmptyLink<Element>());
     instanceMembersByName[memberName] = members.prepend(member);
 
-    if (member.kind === ElementKind.GETTER ||
-        member.kind === ElementKind.FIELD) {
-      universe.instantiatedClassInstanceFields.add(member.name);
-    }
 
     if (member.kind == ElementKind.FUNCTION) {
       if (member.name == Compiler.NO_SUCH_METHOD) {
@@ -194,6 +202,7 @@
         return addToWorkList(member);
       }
     } else if (member.kind == ElementKind.GETTER) {

[floitsch, 2012/08/30 14:35:14]

member.isGetter()

[ngeoffray, 2012/08/30 17:10:21]

Ditto

+      universe.instantiatedClassInstanceFields.add(member.name);
       if (universe.hasInvokedGetter(member, compiler)) {
         return addToWorkList(member);
       }