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

Nightly build 2025.06.16

on GitHub

What's Changed

Proposals accepted and merged 📜

• Guidance on AI coding tools by @chandlerc in #5670

Toolchain and implementation changes 🛠️

• Diagnose runtime values in eval where a constant value was expected by @danakj in #5659
• Restructure WhereExpr eval to use continue less by @danakj in #5660
• Fix sorting of instructions in Facet Type resolution by @danakj in #5664

Infrastructure changes 🏗️

• Manually update gh to fix PR labeling for now by @danakj in #5665
• Add repo flag to gh by @jonmeow in #5669
• Fix the hardening mode defines, also use debug by @jonmeow in #5666
• Replicate the fix in #5669 to the proposal workflow by @chandlerc in #5671

Full Changelog: v0.0.0-0.nightly.2025.06.13...v0.0.0-0.nightly.2025.06.16