anchor.diff:        Expect.equals("int", error.dstType);
         Expect.equals("String", error.srcType);
         Expect.equals("type cast", error.dstName);
  -      checkTopFunction("type_cast_vm_test.dart:109:13", stacktrace);
  +      checkTopFunction("type_cast_vm_test.dart:95:13", stacktrace);
       }
       return result;
     }
  
positive.code:     int result = 0;
      try {
        var i = "hello" as int;  // Throws a CastError
      } on TypeError catch (error) {
        result = 1;
        Expect.isTrue(error is CastError);
        Expect.equals("int", error.dstType);
        Expect.equals("String", error.srcType);
        Expect.equals("type cast", error.dstName);
        int pos = error.url.lastIndexOf("/", error.url.length);
        if (pos == -1) {
          pos = error.url.lastIndexOf("\\", error.url.length);
        }
        String subs = error.url.substring(pos + 1, error.url.length);
        Expect.equals("dart:core-patch", subs);
        Expect.equals(1880, error.line);
        Expect.equals(1, error.column);
      }
      return result;
    }
  
negative.code:       Expect.equals("int", error.dstType);
        Expect.equals("String", error.srcType);
        Expect.equals("type cast", error.dstName);
        checkTopFunction("type_cast_vm_test.dart:74:16", stacktrace);
      }
      return result;
    }
  