carbon-language/carbon-lang v0.0.0-0.nightly.2025.12.20

Nightly build 2025.12.20

on GitHub

What's Changed

Toolchain and implementation changes 🛠️

• Change Destroy to use a CustomWitness instead of a blanket impl by @jonmeow in #6512
• Add lldb dumping for RequireImplsId and RequireImplsBlockId by @danakj in #6524
• Add IR tagging to RequireImplsIds by @danakj in #6525

Documentation changes 📝

• Add a note about iterative coding style by @jonmeow in #6528

Infrastructure changes 🏗️

• Allow copy-pasting 0x prefixed hex values as ids to the dump debugger command by @danakj in #6526
• Allow splitting the id type and the id number in lldb dumping by @danakj in #6527

Full Changelog: v0.0.0-0.nightly.2025.12.19...v0.0.0-0.nightly.2025.12.20