Skip to content

Improve soundness of indexed access types #30769

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ahejlsberg merged 22 commits into from
Apr 12, 2019
Merged

Improve soundness of indexed access types #30769

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
fc95dc4
Improve soundness of indexed access type relations
ahejlsberg Mar 29, 2019
5de3ee8
getIndexedAccessType for assignment target uses intersections
ahejlsberg Mar 30, 2019
95c8a92
Add getIndexedAccessOrUndefined function
ahejlsberg Mar 31, 2019
3e09d29
Accept new baselines
ahejlsberg Mar 31, 2019
d61a693
More exploration of indexed access type constraints in type relations
ahejlsberg Apr 2, 2019
1648d0c
Minor fixes
ahejlsberg Apr 2, 2019
e79e0bd
Accept new baselines
ahejlsberg Apr 2, 2019
d69aeb4
T[K] ignores index signatures in T's constraint
ahejlsberg Apr 4, 2019
f5f1f30
Accept new baselines
ahejlsberg Apr 4, 2019
739acee
Add tests
ahejlsberg Apr 4, 2019
e01fa85
Accept new baselines
ahejlsberg Apr 4, 2019
2945802
Merge branch 'master' into saferIndexedAccessTypes
ahejlsberg Apr 6, 2019
9832a83
Accept new baselines
ahejlsberg Apr 6, 2019
e1fd5e5
Fix unsafe parameter coercions related to PragmaPseudoMap
ahejlsberg Apr 6, 2019
b49a343
Simplify obtaining base constraint of T[K] for writing
ahejlsberg Apr 8, 2019
71f3e1f
Accept new baselines
ahejlsberg Apr 8, 2019
eb1e7ec
Optimize T[K] where T has string index signature and no other members
ahejlsberg Apr 8, 2019
6851268
Accept new baselines
ahejlsberg Apr 8, 2019
fa407ce
Remove old comment
ahejlsberg Apr 9, 2019
c8ff4bd
Properly filter mapped types in getIndexType with noIndexSignatures=true
ahejlsberg Apr 10, 2019
68eb7b9
Add test
ahejlsberg Apr 10, 2019
6785472
Accept new baselines
ahejlsberg Apr 10, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Accept new baselines
  • Loading branch information
@ahejlsberg
ahejlsberg committed Apr 8, 2019
commit 685126811ab660477d203374ffc39c8dfc379017
2 changes: 1 addition & 1 deletion tests/baselines/reference/keyofAndIndexedAccess.types
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1794,7 +1794,7 @@ function updateIds2<T extends { [x: string]: string }, K extends keyof T>(
>key : K

stringMap[x]; // Should be OK.
>stringMap[x] : { [oldId: string]: string; }[T[K]]
>stringMap[x] : string
>stringMap : { [oldId: string]: string; }
>x : T[K]
}
Expand Down
12 changes: 6 additions & 6 deletions tests/baselines/reference/keyofAndIndexedAccess2.types
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -194,20 +194,20 @@ function f3<K extends string>(a: { [P in K]: number }, b: { [key: string]: numbe
}

function f4<K extends string>(a: { [key: string]: number }[K], b: number) {
>f4 : <K extends string>(a: { [key: string]: number; }[K], b: number) => void
>a : { [key: string]: number; }[K]
>f4 : <K extends string>(a: number, b: number) => void
>a : number
>key : string
>b : number

a = b;
>a = b : number
>a : { [key: string]: number; }[K]
>a : number
>b : number

b = a;
>b = a : { [key: string]: number; }[K]
>b = a : number
>b : number
>a : { [key: string]: number; }[K]
>a : number
}

type Item = { a: string, b: number };
Expand Down Expand Up @@ -277,7 +277,7 @@ function f11<K extends keyof Dict>(obj: Dict, k1: keyof Dict, k2: K) {

obj[k2] = 123;
>obj[k2] = 123 : 123
>obj[k2] : Record<string, number>[K]
>obj[k2] : number
>obj : Record<string, number>
>k2 : K
>123 : 123
Expand Down