/// // @allowJs: true // @Filename: a.js ////class C { //// constructor(y) { //// this.x = y; //// } ////} ////C.prototype.[|z|] = 1; ////var t = new C(12); ////t.[|z|] = 11; verify.rangesAreRenameLocations();