Repository navigation

Reject unary exponentiation operands hidden by assertions - #65323

Merged

Ryan Cavanaugh (RyanCavanaugh) merged 4 commits into

mainfrom

copilot/fix-invalid-left-operand-exponentiation

Nov 5, 2026

Merged

Reject unary exponentiation operands hidden by assertions#65323
Ryan Cavanaugh (RyanCavanaugh) merged 4 commits into
mainfrom
copilot/fix-invalid-left-operand-exponentiation

Commits on Nov 4, 2026
- Initial plan
  Copilot
  authored
  0ccf09c
- Add regression coverage for assertion-erased unary exponentiation operands
  
  Copilot
  and
  Ryan Cavanaugh (RyanCavanaugh)
  authored
  5c5b8c2
- Reject assertion erasure exposing unary exponentiation operands
  
  Copilot
  and
  Ryan Cavanaugh (RyanCavanaugh)
  authored
  f3a7e64
- Use unary exponentiation diagnostics through assertion chains
  
  Copilot
  and
  Ryan Cavanaugh (RyanCavanaugh)
  authored
  b64beb2