Add related types check to analyze_dart2js_test

pkg/compiler/lib/src/tree_ir/tree_ir_integrity.dart

 library tree_ir.integrity;
 
 import 'tree_ir_nodes.dart';
 
 /// Performs integrity checks on the tree_ir.
 ///
 /// Should only be run for debugging purposes, not in production.
 ///
 /// - Reference counts on must match the actual number of references.
 /// - Labels must be in scope when referenced.
@@ skipping 67 matching lines @@
   }
 
   visitJumpTargetBody(JumpTarget target) {
     Label label = target.label;
     if (label2declaration.containsKey(label)) {
       error('Duplicate declaration of label $label');
     }
     label2declaration[label] = target;
     labelUses[label] = 0;
     visitStatement(target.body);
-    label2declaration.remove(target);
+    label2declaration.remove(label);
 
     if (labelUses[label] != label.useCount) {
       error('Label $label has ${labelUses[label]} uses '
             'but its reference count is ${label.useCount}');
     }
   }
 
   visitLabeledStatement(LabeledStatement node) {
     visitJumpTargetBody(node);
     visitStatement(node.next);
@@ skipping 58 matching lines @@
       if (reads != variable.readCount || writes != variable.writeCount) {
         error('Invalid reference count for $variable:\n'
               '- Variable has $reads reads and $writes writes\n'
               '- Reference count is ${variable.readCount} reads and '
               '${variable.writeCount} writes');
       }
     }
   }
 
 }