Repository navigation

Negated Types: Remove the concept of control-flow made "fresh" negations - #65286

Draft

Wesley Wigham (weswigham) wants to merge 25 commits into

mainfrom

weswigham/negated-types-nonfresh-control-flow

Draft

Negated Types: Remove the concept of control-flow made "fresh" negations#65286
Wesley Wigham (weswigham) wants to merge 25 commits into
mainfrom
weswigham/negated-types-nonfresh-control-flow

Commits on Sep 14, 2026
Commits on Sep 16, 2026
- Fix compound assignment control flow wrt negated types, other small fixes
  Wesley Wigham (weswigham)
  committed
  976af96
- Merge branch 'main' into port-negated-types
  Wesley Wigham (weswigham)
  committed
  2b33b77
Commits on Sep 17, 2026
- Merge branch 'main' into port-negated-types
  Wesley Wigham (weswigham)
  committed
  5cb8176
- Lint bug, more behavior improvements
  Wesley Wigham (weswigham)
  committed
  7e70dfc
Commits on Sep 22, 2026
- Merge fresh negations into regular union and intersection members
  Wesley Wigham (weswigham)
  committed
  8e81de9
Commits on Sep 23, 2026
- Defer negation reductions to better handle negations over self-referential structures, broaden negation reduction applicability
  Wesley Wigham (weswigham)
  committed
  693a594
Commits on Sep 24, 2026
- More deferal-related fixes
  Wesley Wigham (weswigham)
  committed
  775c55f
Commits on Sep 28, 2026
- Dont use apparent types for negated constraint relationship checks
  Wesley Wigham (weswigham)
  committed
  df8dd74
Commits on Sep 29, 2026
- Merge branch 'main' into weswigham/negated-types
  Wesley Wigham (weswigham)
  committed
  e741c14
- Merge branch 'main' into weswigham/negated-types
  Wesley Wigham (weswigham)
  committed
  614c854
Commits on Oct 19, 2026
- Merge branch 'main' into weswigham/negated-types
  Wesley Wigham (weswigham)
  committed
  fd347a9
Commits on Oct 20, 2026
- Merge branch 'main' into weswigham/negated-types
  Wesley Wigham (weswigham)
  committed
  a00b970
- Add workaroud for distributive conditional <-> negated key assignability
  Wesley Wigham (weswigham)
  committed
  0c876d2
Commits on Oct 21, 2026
- Strengthen and unify negated type <-> filtering conditional workaround rule
  Wesley Wigham (weswigham)
  committed
  be90172
Commits on Oct 28, 2026
- Merge branch 'main' into weswigham/negated-types
  Wesley Wigham (weswigham)
  committed
  051571d
Commits on Nov 3, 2026
- Remove the concept of fresh negated types
  Wesley Wigham (weswigham)
  committed
  159f5e0
- Fix compound assignment type checking
  Wesley Wigham (weswigham)
  committed
  bf68b75
Commits on Nov 4, 2026
- Freshness may be gone, but we still need refinement filtering on mutable location assignment
  Wesley Wigham (weswigham)
  committed
  9952925

Commits

Commits on Sep 14, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 22, 2026

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Oct 19, 2026

Commits on Oct 20, 2026

Commits on Oct 21, 2026

Commits on Oct 28, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026