Skip to content

Commit 834a476

Browse files
sandersnsandersn
committed
Merge branch 'master' into report-multiple-overload-errors
2 parents 19b593e + e8bf958 commit 834a476

298 files changed

Lines changed: 5721 additions & 2182 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎src/compiler/builderState.ts‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -427,8 +427,8 @@ namespace ts.BuilderState {
427427
const references = state.referencedMap.get(path);
428428
if (references) {
429429
const iterator = references.keys();
430-
for (let { value, done } = iterator.next(); !done; { value, done } = iterator.next()) {
431-
queue.push(value as Path);
430+
for (let iterResult = iterator.next(); !iterResult.done; iterResult = iterator.next()) {
431+
queue.push(iterResult.value as Path);
432432
}
433433
}
434434
}

‎src/compiler/checker.ts‎

Lines changed: 833 additions & 323 deletions
Large diffs are not rendered by default.

‎src/compiler/commandLineParser.ts‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ namespace ts {
4040
["es2017.string", "lib.es2017.string.d.ts"],
4141
["es2017.intl", "lib.es2017.intl.d.ts"],
4242
["es2017.typedarrays", "lib.es2017.typedarrays.d.ts"],
43+
["es2018.asyncgenerator", "lib.es2018.asyncgenerator.d.ts"],
4344
["es2018.asynciterable", "lib.es2018.asynciterable.d.ts"],
4445
["es2018.intl", "lib.es2018.intl.d.ts"],
4546
["es2018.promise", "lib.es2018.promise.d.ts"],
@@ -1899,7 +1900,9 @@ namespace ts {
18991900
case "object":
19001901
return {};
19011902
default:
1902-
return option.type.keys().next().value;
1903+
const iterResult = option.type.keys().next();
1904+
if (!iterResult.done) return iterResult.value;
1905+
return Debug.fail("Expected 'option.type' to have entries.");
19031906
}
19041907
}
19051908

‎src/compiler/core.ts‎

Lines changed: 15 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,6 @@ namespace ts {
2424
" __sortedArrayBrand": any;
2525
}
2626

27-
2827
/** ES6 Map interface, only read methods included. */
2928
export interface ReadonlyMap<T> {
3029
get(key: string): T | undefined;
@@ -45,7 +44,7 @@ namespace ts {
4544

4645
/** ES6 Iterator type. */
4746
export interface Iterator<T> {
48-
next(): { value: T, done: false } | { value: never, done: true };
47+
next(): { value: T, done?: false } | { value: never, done: true };
4948
}
5049

5150
/** Array that is only intended to be pushed to, never read. */
@@ -297,12 +296,13 @@ namespace ts {
297296
forEach(action: (value: T, key: string) => void): void {
298297
const iterator = this.entries();
299298
while (true) {
300-
const { value: entry, done } = iterator.next();
301-
if (done) {
299+
const iterResult = iterator.next();
300+
if (iterResult.done) {
302301
break;
303302
}
304303

305-
action(entry[1], entry[0]);
304+
const [key, value] = iterResult.value;
305+
action(value, key);
306306
}
307307
}
308308
};
@@ -346,11 +346,11 @@ namespace ts {
346346

347347
export function firstDefinedIterator<T, U>(iter: Iterator<T>, callback: (element: T) => U | undefined): U | undefined {
348348
while (true) {
349-
const { value, done } = iter.next();
350-
if (done) {
349+
const iterResult = iter.next();
350+
if (iterResult.done) {
351351
return undefined;
352352
}
353-
const result = callback(value);
353+
const result = callback(iterResult.value);
354354
if (result !== undefined) {
355355
return result;
356356
}
@@ -375,7 +375,7 @@ namespace ts {
375375
return { value: undefined as never, done: true };
376376
}
377377
i++;
378-
return { value: [arrayA[i - 1], arrayB[i - 1]], done: false };
378+
return { value: [arrayA[i - 1], arrayB[i - 1]] as [T, U], done: false };
379379
}
380380
};
381381
}
@@ -567,7 +567,7 @@ namespace ts {
567567
return {
568568
next() {
569569
const iterRes = iter.next();
570-
return iterRes.done ? iterRes : { value: mapFn(iterRes.value), done: false };
570+
return iterRes.done ? iterRes as { done: true, value: never } : { value: mapFn(iterRes.value), done: false };
571571
}
572572
};
573573
}
@@ -672,7 +672,7 @@ namespace ts {
672672
}
673673
const iterRes = iter.next();
674674
if (iterRes.done) {
675-
return iterRes;
675+
return iterRes as { done: true, value: never };
676676
}
677677
currentIter = getIterator(iterRes.value);
678678
}
@@ -747,7 +747,7 @@ namespace ts {
747747
while (true) {
748748
const res = iter.next();
749749
if (res.done) {
750-
return res;
750+
return res as { done: true, value: never };
751751
}
752752
const value = mapFn(res.value);
753753
if (value !== undefined) {
@@ -1072,6 +1072,7 @@ namespace ts {
10721072
* @param value The value to append to the array. If `value` is `undefined`, nothing is
10731073
* appended.
10741074
*/
1075+
export function append<TArray extends any[] | undefined, TValue extends NonNullable<TArray>[number] | undefined>(to: TArray, value: TValue): [undefined, undefined] extends [TArray, TValue] ? TArray : NonNullable<TArray>[number][];
10751076
export function append<T>(to: T[], value: T | undefined): T[];
10761077
export function append<T>(to: T[] | undefined, value: T): T[];
10771078
export function append<T>(to: T[] | undefined, value: T | undefined): T[] | undefined;
@@ -1396,8 +1397,8 @@ namespace ts {
13961397
export function arrayFrom<T>(iterator: Iterator<T> | IterableIterator<T>): T[];
13971398
export function arrayFrom<T, U>(iterator: Iterator<T> | IterableIterator<T>, map?: (t: T) => U): (T | U)[] {
13981399
const result: (T | U)[] = [];
1399-
for (let { value, done } = iterator.next(); !done; { value, done } = iterator.next()) {
1400-
result.push(map ? map(value) : value);
1400+
for (let iterResult = iterator.next(); !iterResult.done; iterResult = iterator.next()) {
1401+
result.push(map ? map(iterResult.value) : iterResult.value);
14011402
}
14021403
return result;
14031404
}

‎src/compiler/diagnosticMessages.json‎

Lines changed: 36 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1764,7 +1764,7 @@
17641764
"category": "Error",
17651765
"code": 2489
17661766
},
1767-
"The type returned by the 'next()' method of an iterator must have a 'value' property.": {
1767+
"The type returned by the '{0}()' method of an iterator must have a 'value' property.": {
17681768
"category": "Error",
17691769
"code": 2490
17701770
},
@@ -1992,7 +1992,7 @@
19921992
"category": "Error",
19931993
"code": 2546
19941994
},
1995-
"The type returned by the 'next()' method of an async iterator must be a promise for a type with a 'value' property.": {
1995+
"The type returned by the '{0}()' method of an async iterator must be a promise for a type with a 'value' property.": {
19961996
"category": "Error",
19971997
"code": 2547
19981998
},
@@ -2653,22 +2653,46 @@
26532653
"category": "Error",
26542654
"code": 2762
26552655
},
2656-
"No overload matches this call.": {
2656+
"Cannot iterate value because the 'next' method of its iterator expects type '{1}', but for-of will always send '{0}'.": {
26572657
"category": "Error",
26582658
"code": 2763
26592659
},
2660-
"The last overload gave the following error.": {
2660+
"Cannot iterate value because the 'next' method of its iterator expects type '{1}', but array spread will always send '{0}'.": {
26612661
"category": "Error",
26622662
"code": 2764
26632663
},
2664-
"The last overload is declared here.": {
2664+
"Cannot iterate value because the 'next' method of its iterator expects type '{1}', but array destructuring will always send '{0}'.": {
26652665
"category": "Error",
26662666
"code": 2765
26672667
},
2668-
"Overload {0} of {1}, '{2}', gave the following error.": {
2668+
"Cannot delegate iteration to value because the 'next' method of its iterator expects type '{1}', but the containing generator will always send '{0}'.": {
26692669
"category": "Error",
26702670
"code": 2766
26712671
},
2672+
"The '{0}' property of an iterator must be a method.": {
2673+
"category": "Error",
2674+
"code": 2767
2675+
},
2676+
"The '{0}' property of an async iterator must be a method.": {
2677+
"category": "Error",
2678+
"code": 2768
2679+
},
2680+
"No overload matches this call.": {
2681+
"category": "Error",
2682+
"code": 2769
2683+
},
2684+
"The last overload gave the following error.": {
2685+
"category": "Error",
2686+
"code": 2770
2687+
},
2688+
"The last overload is declared here.": {
2689+
"category": "Error",
2690+
"code": 2771
2691+
},
2692+
"Overload {0} of {1}, '{2}', gave the following error.": {
2693+
"category": "Error",
2694+
"code": 2772
2695+
},
26722696

26732697
"Import declaration '{0}' is using private name '{1}'.": {
26742698
"category": "Error",
@@ -4230,7 +4254,7 @@
42304254
"category": "Error",
42314255
"code": 7024
42324256
},
4233-
"Generator implicitly has type '{0}' because it does not yield any values. Consider supplying a return type.": {
4257+
"Generator implicitly has yield type '{0}' because it does not yield any values. Consider supplying a return type annotation.": {
42344258
"category": "Error",
42354259
"code": 7025
42364260
},
@@ -4352,6 +4376,11 @@
43524376
"category": "Error",
43534377
"code": 7054
43544378
},
4379+
"'{0}', which lacks return-type annotation, implicitly has an '{1}' yield type.": {
4380+
"category": "Error",
4381+
"code": 7055
4382+
},
4383+
43554384
"You cannot rename this element.": {
43564385
"category": "Error",
43574386
"code": 8000

‎src/compiler/sourcemap.ts‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -148,7 +148,8 @@ namespace ts {
148148
const sourceIndexToNewSourceIndexMap: number[] = [];
149149
let nameIndexToNewNameIndexMap: number[] | undefined;
150150
const mappingIterator = decodeMappings(map.mappings);
151-
for (let { value: raw, done } = mappingIterator.next(); !done; { value: raw, done } = mappingIterator.next()) {
151+
for (let iterResult = mappingIterator.next(); !iterResult.done; iterResult = mappingIterator.next()) {
152+
const raw = iterResult.value;
152153
if (end && (
153154
raw.generatedLine > end.line ||
154155
(raw.generatedLine === end.line && raw.generatedCharacter > end.character))) {

‎src/compiler/types.ts‎

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4273,13 +4273,23 @@ namespace ts {
42734273
regularType: ResolvedType; // Regular version of fresh type
42744274
}
42754275

4276+
/* @internal */
4277+
export interface IterationTypes {
4278+
readonly yieldType: Type;
4279+
readonly returnType: Type;
4280+
readonly nextType: Type;
4281+
}
4282+
42764283
// Just a place to cache element types of iterables and iterators
42774284
/* @internal */
42784285
export interface IterableOrIteratorType extends ObjectType, UnionType {
4279-
iteratedTypeOfIterable?: Type;
4280-
iteratedTypeOfIterator?: Type;
4281-
iteratedTypeOfAsyncIterable?: Type;
4282-
iteratedTypeOfAsyncIterator?: Type;
4286+
iterationTypesOfGeneratorReturnType?: IterationTypes;
4287+
iterationTypesOfAsyncGeneratorReturnType?: IterationTypes;
4288+
iterationTypesOfIterable?: IterationTypes;
4289+
iterationTypesOfIterator?: IterationTypes;
4290+
iterationTypesOfAsyncIterable?: IterationTypes;
4291+
iterationTypesOfAsyncIterator?: IterationTypes;
4292+
iterationTypesOfIteratorResult?: IterationTypes;
42834293
}
42844294

42854295
/* @internal */

‎src/compiler/utilities.ts‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -150,8 +150,8 @@ namespace ts {
150150
export function forEachEntry<T, U>(map: ReadonlyMap<T>, callback: (value: T, key: string) => U | undefined): U | undefined;
151151
export function forEachEntry<T, U>(map: ReadonlyUnderscoreEscapedMap<T> | ReadonlyMap<T>, callback: (value: T, key: (string & __String)) => U | undefined): U | undefined {
152152
const iterator = map.entries();
153-
for (let { value: pair, done } = iterator.next(); !done; { value: pair, done } = iterator.next()) {
154-
const [key, value] = pair;
153+
for (let iterResult = iterator.next(); !iterResult.done; iterResult = iterator.next()) {
154+
const [key, value] = iterResult.value;
155155
const result = callback(value, key as (string & __String));
156156
if (result) {
157157
return result;
@@ -165,8 +165,8 @@ namespace ts {
165165
export function forEachKey<T>(map: ReadonlyMap<{}>, callback: (key: string) => T | undefined): T | undefined;
166166
export function forEachKey<T>(map: ReadonlyUnderscoreEscapedMap<{}> | ReadonlyMap<{}>, callback: (key: string & __String) => T | undefined): T | undefined {
167167
const iterator = map.keys();
168-
for (let { value: key, done } = iterator.next(); !done; { value: key, done } = iterator.next()) {
169-
const result = callback(key as string & __String);
168+
for (let iterResult = iterator.next(); !iterResult.done; iterResult = iterator.next()) {
169+
const result = callback(iterResult.value as string & __String);
170170
if (result) {
171171
return result;
172172
}

‎src/harness/sourceMapRecorder.ts‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -301,7 +301,8 @@ namespace Harness.SourceMapRecorder {
301301

302302
SourceMapSpanWriter.initializeSourceMapSpanWriter(sourceMapRecorder, sourceMapData.sourceMap, currentFile);
303303
const mapper = ts.decodeMappings(sourceMapData.sourceMap.mappings);
304-
for (let { value: decodedSourceMapping, done } = mapper.next(); !done; { value: decodedSourceMapping, done } = mapper.next()) {
304+
for (let iterResult = mapper.next(); !iterResult.done; iterResult = mapper.next()) {
305+
const decodedSourceMapping = iterResult.value;
305306
const currentSourceFile = ts.isSourceMapping(decodedSourceMapping)
306307
? program.getSourceFile(sourceMapData.inputSourceFileNames[decodedSourceMapping.sourceIndex])
307308
: undefined;
@@ -335,7 +336,8 @@ namespace Harness.SourceMapRecorder {
335336

336337
SourceMapSpanWriter.initializeSourceMapSpanWriter(sourceMapRecorder, sourceMap, currentFile);
337338
const mapper = ts.decodeMappings(sourceMap.mappings);
338-
for (let { value: decodedSourceMapping, done } = mapper.next(); !done; { value: decodedSourceMapping, done } = mapper.next()) {
339+
for (let iterResult = mapper.next(); !iterResult.done; iterResult = mapper.next()) {
340+
const decodedSourceMapping = iterResult.value;
339341
const currentSourceFile = ts.isSourceMapping(decodedSourceMapping)
340342
? getFile(sourceFileAbsolutePaths[decodedSourceMapping.sourceIndex])
341343
: undefined;

‎src/harness/vfs.ts‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -683,7 +683,7 @@ namespace vfs {
683683

684684
if (isDirectory(node)) throw createIOError("EISDIR");
685685
if (!isFile(node)) throw createIOError("EBADF");
686-
node.buffer = Buffer.isBuffer(data) ? data.slice() : ts.sys.bufferFrom!("" + data, encoding || "utf8");
686+
node.buffer = Buffer.isBuffer(data) ? data.slice() : ts.sys.bufferFrom!("" + data, encoding || "utf8") as Buffer;
687687
node.size = node.buffer.byteLength;
688688
node.mtimeMs = time;
689689
node.ctimeMs = time;
@@ -1204,7 +1204,7 @@ namespace vfs {
12041204
}
12051205
},
12061206
readFileSync(path: string): Buffer {
1207-
return ts.sys.bufferFrom!(host.readFile(path)!, "utf8"); // TODO: GH#18217
1207+
return ts.sys.bufferFrom!(host.readFile(path)!, "utf8") as Buffer; // TODO: GH#18217
12081208
}
12091209
};
12101210
}

0 commit comments

Comments
 (0)