Skip to content

🤖 Pick PR #58098 (Fix constraints of nested homomorph...) into release-5.4 #58118

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
DanielRosenwasser merged 2 commits into from
Apr 10, 2024
Merged

🤖 Pick PR #58098 (Fix constraints of nested homomorph...) into release-5.4 #58118

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
578556b
Merge dc966c25e3fe8dcabe581d95a7cf8c32c1d84582 into 10b5059a950100074…
ahejlsberg Apr 7, 2024
251bc46
Update baselines
typescript-bot Apr 8, 2024
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
Update baselines
  • Loading branch information
@typescript-bot
typescript-bot committed Apr 8, 2024
commit 251bc46d78a6f4742ff7276c79ce225dd44a4b5e
9 changes: 0 additions & 9 deletions tests/baselines/reference/deepComparisons.types
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,5 @@
//// [tests/cases/compiler/deepComparisons.ts] ////

<<<<<<< HEAD
=======
=== Performance Stats ===
Assignability cache: 300 / 300 (nearest 100)
Type Count: 2,000 / 2,000 (nearest 100)
Instantiation count: 3,500 / 3,500 (nearest 500)
Symbol count: 26,500 / 27,000 (nearest 500)

>>>>>>> 326241cd08 (Merge dc966c25e3fe8dcabe581d95a7cf8c32c1d84582 into 10b5059a9501000747e447cefb752c69108b594c)
=== deepComparisons.ts ===
function f1<T, K1 extends keyof T, K2 extends keyof T[K1]>() {
>f1 : <T, K1 extends keyof T, K2 extends keyof T[K1]>() => void
Expand Down
7 changes: 0 additions & 7 deletions tests/baselines/reference/homomorphicMappedTypeNesting.types
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,28 +5,21 @@

type Box<T extends string> = { v: T };
>Box : Box<T>
> : ^^^^^^
>v : T
> : ^

type Test<T extends string[]> = T
>Test : T
> : ^

type UnboxArray<T> = {
>UnboxArray : UnboxArray<T>
> : ^^^^^^^^^^^^^

[K in keyof T]: T[K] extends Box<infer R> ? R : never;
};

type Identity<T> = { [K in keyof T]: T[K] };
>Identity : Identity<T>
> : ^^^^^^^^^^^

declare function fnBad<T extends Array<Box<string>>>(...args: T): Test<Identity<UnboxArray<T>>>;
>fnBad : <T extends Box<string>[]>(...args: T) => Test<Identity<UnboxArray<T>>>
> : ^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^ ^^^^^
>args : T
> : ^