Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
00f6819
Port port negated types
weswigham Aug 20, 2026
068f5f5
Relax comparable relation for negated types
weswigham Sep 3, 2026
af8cba7
Regenerate API enum values for negated types
weswigham Sep 9, 2026
ea014a1
Fix negated type smoke regressions and preserve guard compatibility
weswigham Sep 10, 2026
a952288
Add API
weswigham Sep 14, 2026
c913f73
Add missing contextual type breakdown
weswigham Sep 14, 2026
5660da1
Improvements to and better testing for optional props and fresh objec…
weswigham Sep 14, 2026
976af96
Fix compound assignment control flow wrt negated types, other small f…
weswigham Sep 16, 2026
2b33b77
Merge branch 'main' into port-negated-types
weswigham Sep 16, 2026
5cb8176
Merge branch 'main' into port-negated-types
weswigham Sep 17, 2026
7e70dfc
Lint bug, more behavior improvements
weswigham Sep 17, 2026
8e81de9
Merge fresh negations into regular union and intersection members
weswigham Sep 22, 2026
693a594
Defer negation reductions to better handle negations over self-refere…
weswigham Sep 23, 2026
775c55f
More deferal-related fixes
weswigham Sep 24, 2026
df8dd74
Dont use apparent types for negated constraint relationship checks
weswigham Sep 28, 2026
e741c14
Merge branch 'main' into weswigham/negated-types
weswigham Sep 29, 2026
614c854
Merge branch 'main' into weswigham/negated-types
weswigham Sep 29, 2026
fd347a9
Merge branch 'main' into weswigham/negated-types
weswigham Oct 19, 2026
a00b970
Merge branch 'main' into weswigham/negated-types
weswigham Oct 20, 2026
0c876d2
Add workaroud for distributive conditional <-> negated key assignability
weswigham Oct 20, 2026
be90172
Strengthen and unify negated type <-> filtering conditional workaroun…
weswigham Oct 21, 2026
051571d
Merge branch 'main' into weswigham/negated-types
weswigham Oct 28, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1 change: 1 addition & 0 deletions packages/typescript/enums/objectFlags.d.ts
Original file line number Diff line number Diff line change
Expand Up @@ -49,4 +49,5 @@ export declare enum ObjectFlags {
IsNeverIntersectionComputed = 1 << 25,
IsNeverIntersection = 1 << 26,
IsConstrainedTypeVariable = 1 << 27,
FreshNegated = 1 << 25,
}
1 change: 1 addition & 0 deletions packages/typescript/enums/objectFlags.js
Original file line number Diff line number Diff line change
Expand Up @@ -49,4 +49,5 @@ export var ObjectFlags;
ObjectFlags[ObjectFlags["IsNeverIntersectionComputed"] = 33554432] = "IsNeverIntersectionComputed";
ObjectFlags[ObjectFlags["IsNeverIntersection"] = 67108864] = "IsNeverIntersection";
ObjectFlags[ObjectFlags["IsConstrainedTypeVariable"] = 134217728] = "IsConstrainedTypeVariable";
ObjectFlags[ObjectFlags["FreshNegated"] = 33554432] = "FreshNegated";
})(ObjectFlags || (ObjectFlags = {}));
Loading
Loading