Skip to content

Commit 7f978c7

Browse files
rbucktonrbuckton
authored
Use tuple name inference for Iterator.next et al (#59360)
1 parent 6f530cc commit 7f978c7

14 files changed

Lines changed: 1672 additions & 64 deletions

‎src/lib/es2015.generator.d.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
interface Generator<T = unknown, TReturn = any, TNext = any> extends Iterator<T, TReturn, TNext> {
44
// NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.
5-
next(...args: [] | [TNext]): IteratorResult<T, TReturn>;
5+
next(...[value]: [] | [TNext]): IteratorResult<T, TReturn>;
66
return(value: TReturn): IteratorResult<T, TReturn>;
77
throw(e: any): IteratorResult<T, TReturn>;
88
[Symbol.iterator](): Generator<T, TReturn, TNext>;

‎src/lib/es2015.iterable.d.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ type IteratorResult<T, TReturn = any> = IteratorYieldResult<T> | IteratorReturnR
2222

2323
interface Iterator<T, TReturn = any, TNext = any> {
2424
// NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.
25-
next(...args: [] | [TNext]): IteratorResult<T, TReturn>;
25+
next(...[value]: [] | [TNext]): IteratorResult<T, TReturn>;
2626
return?(value?: TReturn): IteratorResult<T, TReturn>;
2727
throw?(e?: any): IteratorResult<T, TReturn>;
2828
}

‎src/lib/es2018.asyncgenerator.d.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
interface AsyncGenerator<T = unknown, TReturn = any, TNext = any> extends AsyncIterator<T, TReturn, TNext> {
44
// NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.
5-
next(...args: [] | [TNext]): Promise<IteratorResult<T, TReturn>>;
5+
next(...[value]: [] | [TNext]): Promise<IteratorResult<T, TReturn>>;
66
return(value: TReturn | PromiseLike<TReturn>): Promise<IteratorResult<T, TReturn>>;
77
throw(e: any): Promise<IteratorResult<T, TReturn>>;
88
[Symbol.asyncIterator](): AsyncGenerator<T, TReturn, TNext>;

‎src/lib/es2018.asynciterable.d.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ interface SymbolConstructor {
1111

1212
interface AsyncIterator<T, TReturn = any, TNext = any> {
1313
// NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.
14-
next(...args: [] | [TNext]): Promise<IteratorResult<T, TReturn>>;
14+
next(...[value]: [] | [TNext]): Promise<IteratorResult<T, TReturn>>;
1515
return?(value?: TReturn | PromiseLike<TReturn>): Promise<IteratorResult<T, TReturn>>;
1616
throw?(e?: any): Promise<IteratorResult<T, TReturn>>;
1717
}

‎tests/baselines/reference/dependentDestructuredVariables.types‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -799,12 +799,12 @@ const { value, done } = it.next();
799799
> : ^^^^^^^^^^^^^^^^^^^
800800
>it.next() : IteratorResult<number, any>
801801
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
802-
>it.next : (...args: [] | [any]) => IteratorResult<number, any>
803-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
802+
>it.next : (...[value]: [] | [any]) => IteratorResult<number, any>
803+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
804804
>it : Iterator<number, any, any>
805805
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^
806-
>next : (...args: [] | [any]) => IteratorResult<number, any>
807-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
806+
>next : (...[value]: [] | [any]) => IteratorResult<number, any>
807+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
808808

809809
if (!done) {
810810
>!done : boolean

‎tests/baselines/reference/destructuringAssignmentWithDefault2.types‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -173,12 +173,12 @@ let value;
173173
> : ^^^
174174
>r.next() : IteratorResult<number, any>
175175
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
176-
>r.next : (...args: [] | [any]) => IteratorResult<number, any>
177-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
176+
>r.next : (...[value]: [] | [any]) => IteratorResult<number, any>
177+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
178178
>r : Iterator<number, any, any>
179179
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^
180-
>next : (...args: [] | [any]) => IteratorResult<number, any>
181-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
180+
>next : (...[value]: [] | [any]) => IteratorResult<number, any>
181+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
182182

183183
({ done: done = false, value } = r.next());
184184
>({ done: done = false, value } = r.next()) : IteratorResult<number, any>
@@ -199,10 +199,10 @@ let value;
199199
> : ^^^
200200
>r.next() : IteratorResult<number, any>
201201
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
202-
>r.next : (...args: [] | [any]) => IteratorResult<number, any>
203-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
202+
>r.next : (...[value]: [] | [any]) => IteratorResult<number, any>
203+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
204204
>r : Iterator<number, any, any>
205205
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^
206-
>next : (...args: [] | [any]) => IteratorResult<number, any>
207-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
206+
>next : (...[value]: [] | [any]) => IteratorResult<number, any>
207+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
208208

‎tests/baselines/reference/discriminateWithOptionalProperty2(exactoptionalpropertytypes=false).types‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -141,12 +141,12 @@ function mapAsyncIterable<T, U, R = undefined>(
141141
> : ^^^^^^^^^^^^^^^^^^^^
142142
>iterator.next() : Promise<IteratorResult<T, R>>
143143
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
144-
>iterator.next : (...args: [] | [undefined]) => Promise<IteratorResult<T, R>>
145-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
144+
>iterator.next : (...[value]: [] | [undefined]) => Promise<IteratorResult<T, R>>
145+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
146146
>iterator : AsyncIterator<T, R, undefined>
147147
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
148-
>next : (...args: [] | [undefined]) => Promise<IteratorResult<T, R>>
149-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
148+
>next : (...[value]: [] | [undefined]) => Promise<IteratorResult<T, R>>
149+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
150150

151151
},
152152
async return(): Promise<IteratorResult<U, R>> {

‎tests/baselines/reference/discriminateWithOptionalProperty2(exactoptionalpropertytypes=true).types‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -141,12 +141,12 @@ function mapAsyncIterable<T, U, R = undefined>(
141141
> : ^^^^^^^^^^^^^^^^^^^^
142142
>iterator.next() : Promise<IteratorResult<T, R>>
143143
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
144-
>iterator.next : (...args: [] | [undefined]) => Promise<IteratorResult<T, R>>
145-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
144+
>iterator.next : (...[value]: [] | [undefined]) => Promise<IteratorResult<T, R>>
145+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
146146
>iterator : AsyncIterator<T, R, undefined>
147147
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
148-
>next : (...args: [] | [undefined]) => Promise<IteratorResult<T, R>>
149-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
148+
>next : (...[value]: [] | [undefined]) => Promise<IteratorResult<T, R>>
149+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
150150

151151
},
152152
async return(): Promise<IteratorResult<U, R>> {

‎tests/baselines/reference/iterableTReturnTNext(strictbuiltiniteratorreturn=false).types‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,8 @@ const r1: number = map.values().next().value; // error when strictBuiltinIterato
1818
>map.values().next().value : any
1919
>map.values().next() : IteratorResult<number, any>
2020
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
21-
>map.values().next : (...args: [] | [any]) => IteratorResult<number, any>
22-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
21+
>map.values().next : (...[value]: [] | [any]) => IteratorResult<number, any>
22+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2323
>map.values() : IterableIterator<number>
2424
> : ^^^^^^^^^^^^^^^^^^^^^^^^
2525
>map.values : () => IterableIterator<number>
@@ -28,8 +28,8 @@ const r1: number = map.values().next().value; // error when strictBuiltinIterato
2828
> : ^^^^^^^^^^^^^^^^^^^
2929
>values : () => IterableIterator<number>
3030
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
31-
>next : (...args: [] | [any]) => IteratorResult<number, any>
32-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
31+
>next : (...[value]: [] | [any]) => IteratorResult<number, any>
32+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
3333
>value : any
3434
> : ^^^
3535

@@ -48,8 +48,8 @@ const r2: Next<number> = map.values().next(); // error when strictBuiltinIterato
4848
> : ^^^^^^^^^^^^
4949
>map.values().next() : IteratorResult<number, any>
5050
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
51-
>map.values().next : (...args: [] | [any]) => IteratorResult<number, any>
52-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
51+
>map.values().next : (...[value]: [] | [any]) => IteratorResult<number, any>
52+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5353
>map.values() : IterableIterator<number>
5454
> : ^^^^^^^^^^^^^^^^^^^^^^^^
5555
>map.values : () => IterableIterator<number>
@@ -58,8 +58,8 @@ const r2: Next<number> = map.values().next(); // error when strictBuiltinIterato
5858
> : ^^^^^^^^^^^^^^^^^^^
5959
>values : () => IterableIterator<number>
6060
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
61-
>next : (...args: [] | [any]) => IteratorResult<number, any>
62-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
61+
>next : (...[value]: [] | [any]) => IteratorResult<number, any>
62+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6363

6464
// based on: https://github.com/graphql/graphql-js/blob/e15c3ec4dc21d9fd1df34fe9798cadf3bf02c6ea/src/execution/__tests__/mapAsyncIterable-test.ts#L175
6565
async function* source() { yield 1; yield 2; yield 3; }
@@ -100,8 +100,8 @@ const r3: number | undefined = set.values().next().value;
100100
>set.values().next().value : any
101101
>set.values().next() : IteratorResult<number, any>
102102
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
103-
>set.values().next : (...args: [] | [any]) => IteratorResult<number, any>
104-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
103+
>set.values().next : (...[value]: [] | [any]) => IteratorResult<number, any>
104+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
105105
>set.values() : IterableIterator<number>
106106
> : ^^^^^^^^^^^^^^^^^^^^^^^^
107107
>set.values : () => IterableIterator<number>
@@ -110,8 +110,8 @@ const r3: number | undefined = set.values().next().value;
110110
> : ^^^^^^^^^^^
111111
>values : () => IterableIterator<number>
112112
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
113-
>next : (...args: [] | [any]) => IteratorResult<number, any>
114-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
113+
>next : (...[value]: [] | [any]) => IteratorResult<number, any>
114+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
115115
>value : any
116116
> : ^^^
117117

‎tests/baselines/reference/iterableTReturnTNext(strictbuiltiniteratorreturn=true).types‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@ const r1: number = map.values().next().value; // error when strictBuiltinIterato
1919
> : ^^^^^^^^^^^^^^^^^^
2020
>map.values().next() : IteratorResult<number, undefined>
2121
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
22-
>map.values().next : (...args: [] | [any]) => IteratorResult<number, undefined>
23-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
22+
>map.values().next : (...[value]: [] | [any]) => IteratorResult<number, undefined>
23+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2424
>map.values() : IterableIterator<number, undefined>
2525
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2626
>map.values : () => IterableIterator<number, undefined>
@@ -29,8 +29,8 @@ const r1: number = map.values().next().value; // error when strictBuiltinIterato
2929
> : ^^^^^^^^^^^^^^^^^^^
3030
>values : () => IterableIterator<number, undefined>
3131
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
32-
>next : (...args: [] | [any]) => IteratorResult<number, undefined>
33-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
32+
>next : (...[value]: [] | [any]) => IteratorResult<number, undefined>
33+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
3434
>value : number | undefined
3535
> : ^^^^^^^^^^^^^^^^^^
3636

@@ -49,8 +49,8 @@ const r2: Next<number> = map.values().next(); // error when strictBuiltinIterato
4949
> : ^^^^^^^^^^^^
5050
>map.values().next() : IteratorResult<number, undefined>
5151
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
52-
>map.values().next : (...args: [] | [any]) => IteratorResult<number, undefined>
53-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
52+
>map.values().next : (...[value]: [] | [any]) => IteratorResult<number, undefined>
53+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5454
>map.values() : IterableIterator<number, undefined>
5555
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5656
>map.values : () => IterableIterator<number, undefined>
@@ -59,8 +59,8 @@ const r2: Next<number> = map.values().next(); // error when strictBuiltinIterato
5959
> : ^^^^^^^^^^^^^^^^^^^
6060
>values : () => IterableIterator<number, undefined>
6161
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
62-
>next : (...args: [] | [any]) => IteratorResult<number, undefined>
63-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
62+
>next : (...[value]: [] | [any]) => IteratorResult<number, undefined>
63+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6464

6565
// based on: https://github.com/graphql/graphql-js/blob/e15c3ec4dc21d9fd1df34fe9798cadf3bf02c6ea/src/execution/__tests__/mapAsyncIterable-test.ts#L175
6666
async function* source() { yield 1; yield 2; yield 3; }
@@ -105,8 +105,8 @@ const r3: number | undefined = set.values().next().value;
105105
> : ^^^^^^^^^^^^^^^^^^
106106
>set.values().next() : IteratorResult<number, undefined>
107107
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
108-
>set.values().next : (...args: [] | [any]) => IteratorResult<number, undefined>
109-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
108+
>set.values().next : (...[value]: [] | [any]) => IteratorResult<number, undefined>
109+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
110110
>set.values() : IterableIterator<number, undefined>
111111
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
112112
>set.values : () => IterableIterator<number, undefined>
@@ -115,8 +115,8 @@ const r3: number | undefined = set.values().next().value;
115115
> : ^^^^^^^^^^^
116116
>values : () => IterableIterator<number, undefined>
117117
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
118-
>next : (...args: [] | [any]) => IteratorResult<number, undefined>
119-
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
118+
>next : (...[value]: [] | [any]) => IteratorResult<number, undefined>
119+
> : ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
120120
>value : number | undefined
121121
> : ^^^^^^^^^^^^^^^^^^
122122

0 commit comments

Comments
 (0)