anchor.diff:      } else {
         assert(_targetFunction != null && _targetFunction is ir.FunctionNode);
         returnStatement.expression.accept(this);
  -      value = typeBuilder.potentiallyCheckOrTrustType(pop(),
  -          astAdapter.getFunctionReturnType(_targetFunction));
  +      value = typeBuilder.potentiallyCheckOrTrustType(
  +          pop(), astAdapter.getFunctionReturnType(_targetFunction));
       }
       // TODO(het): Add source information
       // TODO(het): Set a return value instead of closing the function when we
  
positive.code:   visitFunctionDeclaration(ir.FunctionDeclaration declaration) {
      assert(isReachable);
      declaration.function.accept(this);
      LocalFunctionElement localFunction = astAdapter.getElement(
          declaration.function);
      localsHandler.updateLocal(localFunction, pop());
    }
  
  
negative.code:   @override
    TreeElements get elements => resolvedAst.elements;
  
    SourceInformationBuilder sourceInformationBuilder;
    KernelAstAdapter astAdapter;
    LoopHandler<ir.Node> loopHandler;
  