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

Nightly build 2025.07.01

on GitHub

What's Changed

Proposals accepted and merged 📜

• Progressive disclosure principle by @geoffromer in #5661

Toolchain and implementation changes 🛠️

• Diagnose partial applied to final types. by @dwblaikie in #5744

Documentation changes 📝

• Fix repeated newlines in expression mermaid by @jonmeow in #5751
• A few more mermaid newline fixes by @jonmeow in #5752
• Add partial to the precedence diagram. by @zygoloid in #5749

Full Changelog: v0.0.0-0.nightly.2025.06.28...v0.0.0-0.nightly.2025.07.01