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

Nightly build 2025.07.20

on GitHub

What's Changed

Toolchain and implementation changes 🛠️

• Use a none prelude instead of needing int.carbon just to name a return type by @danakj in #5819

Full Changelog: v0.0.0-0.nightly.2025.07.19...v0.0.0-0.nightly.2025.07.20