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

Nightly build 2025.11.02

on GitHub

What's Changed

Toolchain and implementation changes 🛠️

• Type-check require declarations by @danakj in #6286
• Set the completed flag in NamedConstraint after the defn is complete by @danakj in #6304
• Import NamedConstraintDecl instruction names by @danakj in #6305
• Make named constraint eval to a FacetType with itself in it by @danakj in #6308

Full Changelog: v0.0.0-0.nightly.2025.10.31...v0.0.0-0.nightly.2025.11.02