anchor.diff:      String x = 'x';
   
       easy(z) {
  -        return x + y + z;
  +        return x + y + z; /// 01: static type warning
       }
   
       // Shadow the 'y' field in various ways
       shadow_y_parameter(y) {
  -        return x + this.y + y;
  +        return x + this.y + y; /// 01: continued
       }
   
       shadow_y_local(z) {
           var y = z;
  -        return x + this.y + y;
  +        return x + this.y + y; /// 01: continued
       }
   
       shadow_y_capturedLocal(z) {
           var y = z;
           foo() {
  -            return x + this.y + y;
  +            return x + this.y + y; /// 01: continued
           }
           return foo();
       }
   
       shadow_y_closureParam(z) {
           foo(y) {
  -            return x + this.y + y;
  +            return x + this.y + y; /// 01: continued
           }
           return foo(z);
       }
  
positive.code:     shadow_x_localInsideClosure(z) {
          foo() {
              var x = z;
              return this.x + y + x;
          }
          return foo();
      }
  
      shadow_x_toplevel() {
          return x + this.y + toplevel + this.toplevel;
      }
      
  }
  
negative.code: }
  
  main() {
      Expect.equals('xyz', new Sub().easy('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_y_parameter('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_y_local('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_y_capturedLocal('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_y_closureParam('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_y_localInsideClosure('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_x_parameter('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_x_local('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_x_capturedLocal('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_x_closureParam('z')); /// 01: continued
      Expect.equals('xyz', new Sub().shadow_x_localInsideClosure('z')); /// 01: continued
  
      Expect.equals('xyAB', new Sub().shadow_x_toplevel()); /// 01: continued
  }
  