Handle most qualified sends.

pkg/compiler/lib/src/resolution/send_resolver.dart

 // Copyright (c) 2015, 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.
 
 part of dart2js.semantics_visitor;
 
 enum SendStructureKind {
   GET,
   SET,
   INVOKE,
@@ skipping 480 matching lines @@
           }
           return new CompoundAccessSemantics(accessKind, getter, element);
         }
         return new StaticAccess.superSetter(element);
       } else if (isCompound) {
         return new CompoundAccessSemantics(
             CompoundAccessKind.SUPER_GETTER_SETTER, getter, element);
       } else {
         return new StaticAccess.superMethod(element);
       }
-    } else if (node.isOperator || node.isConditional) {
+    } else if (node.isConditional) {
       // Conditional sends (e?.x) are treated as dynamic property reads because
       // they are equivalent to do ((a) => a == null ? null : a.x)(e). If `e` is
       // a type `A`, this is equivalent to write `(A).x`.
-      // TODO(johnniwinther): maybe add DynamicAccess.conditionalDynamicProperty
+      return new DynamicAccess.ifNotNullProperty(node.receiver);
+    } else if (node.isOperator) {
       return new DynamicAccess.dynamicProperty(node.receiver);
     } else if (Elements.isClosureSend(node, element)) {
       if (element == null) {
         if (node.selector.isThis()) {
           return new AccessSemantics.thisAccess();
         } else {
           return new AccessSemantics.expression();
         }
       } else if (Elements.isErroneous(element)) {
         return new StaticAccess.unresolved(element);
@@ skipping 466 matching lines @@
       return internalError(node, "Unexpected variable $element.");
     }
     if (element.isConst) {
       ConstantExpression constant = elements.getConstant(element.initializer);
       return new ConstantVariableStructure(kind, node, element, constant);
     } else {
       return new NonConstantVariableStructure(kind, node, element);
     }
   }
 }