anchor.diff:    /// It is necessary to run all nesting finally-handlers between the jump and
     /// the target. For that [next] is used as a stack of places to go.
     ///
  -  /// See also [visitFun].
  +  /// See also [rewriteFunction].
     void translateJump(js.Node target, int targetLabel) {
       // Compute a stack of all the 'finally' nodes that must be visited before
       // the jump.
  
positive.code: /// parameters to sync* functions that are mutated in the body must be boxed.
  /// (Currently handled in closure.dart).
  ///
  /// Look at [visitFun], [visitDartYield] and [visitAwait] for more explanation.
  abstract class AsyncRewriterBase extends js.NodeVisitor {
  
    // Local variables are hoisted to the top of the function, so they are
  
negative.code:     return result.reversed.toList();
    }
  
    /// See the comments of [rewriteFunction] for more explanation.
    void visitTry(js.Try node) {
      if (!shouldTransform(node)) {
        js.Block body = translateInBlock(node.body);
  