anchor.diff:      return new ElementResult(prefix);
     }
   
  -
     /// Handle qualified [Send] where the receiver resolves to an [Element], like
     /// `a.b` where `a` is a local, field, class, or prefix, etc.
     ResolutionResult handleResolvedQualifiedSend(
  
positive.code:     // TODO(johnniwinther): Needed to provoke a parsing and with it discovery
      // of parse errors to make [element] erroneous. Fix this!
      member.computeType(compiler);
  
      Selector selector;
      AccessSemantics semantics =
  
negative.code:         return handleStaticInstanceSend(node, name, element);
        }
      }
      if (element.isClass) {
        // `C`, `C()`, or 'C.b` where 'C' is a class.
        return handleClassSend(node, name, element);
      } else if (element.isTypedef) {
        // `F` or `F()` where 'F' is a typedef.
        return handleTypedefTypeLiteralAccess(node, name, element);
      } else if (element.isTypeVariable) {
        return handleTypeVariableTypeLiteralAccess(node, name, element);
      } else if (element.isPrefix) {
        return handleLibraryPrefix(node, name, element);
      } else if (element.isLocal) {
  