Repository navigation

Fix VSTHRD104 false positives - #1643

Merged

Andrew Arnott (AArnott) merged 7 commits into

mainfrom

aarnott-fix-vsthrd104-false-positives

Aug 21, 2026

Merged

Fix VSTHRD104 false positives#1643
Andrew Arnott (AArnott) merged 7 commits into
mainfrom
aarnott-fix-vsthrd104-false-positives

Commits on Aug 20, 2026
- Fix VSTHRD104 false positives
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  1e22668
- Address VSTHRD104 review feedback
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  42e1476
- Keep completion guards in executable scope
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  f54b6ce
Commits on Aug 21, 2026
- Preserve VSTHRD104 completion proof safety
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  cc51e5d
- Invalidate completion proofs for ref aliases
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  9a99ea2
- Track prior ref aliases in completion proofs
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  bd541fb
- Reject condition mutations in completion proofs
  
  Andrew Arnott (AArnott)
  and
  Copilot
  committed
  6346149