Skip to content

Port missing collision detection checks from checkCollisionsForDeclarationName#2087

Draft
Copilot wants to merge 7 commits intomainfrom
copilot/fix-weakened-error-glitch
Draft

Port missing collision detection checks from checkCollisionsForDeclarationName#2087
Copilot wants to merge 7 commits intomainfrom
copilot/fix-weakened-error-glitch

Commits

Commits on Nov 14, 2025

Commits on Dec 3, 2025