refactor(elaborator): identify every declaration by DefId - #1892
Merged
GitHub Advanced Security / CodeQL
succeeded
Aug 24, 2026 in 2s
No new alerts in code changed by this pull request
Loading