Nightly build 2025.11.08

What's Changed

Toolchain and implementation changes 🛠️

• C++ Interop: Add support for <<= and >>= by @bricknerb in #6325
• C++ Interop: Use reference return values in operators tests by @bricknerb in #6332
• Use the value representation of T as that of MaybeUnformed(T) where possible by @zygoloid in #6334
• Include entity name in FacetAccessType formatted name by @danakj in #6339
• Complete all pointer types. by @zygoloid in #6340

Full Changelog: v0.0.0-0.nightly.2025.11.07...v0.0.0-0.nightly.2025.11.08

Nightly build 2025.11.07

What's Changed

Toolchain and implementation changes 🛠️

• Support import Cpp; to import Cpp namespace for using C++ builtins by @bricknerb in #6320
• Add tests for interop with variadic functions. by @zygoloid in #6336

Full Changelog: v0.0.0-0.nightly.2025.11.06...v0.0.0-0.nightly.2025.11.07

Nightly build 2025.11.06

What's Changed

Toolchain and implementation changes 🛠️

• Allow adding / removing const with ImplicitAs. by @zygoloid in #6323
• Copy the complete flag when importing a named constraint by @danakj in #6316
• Propagate location to CppOverloadSetValue instructions by @bricknerb in #6317
• Formalize Cpp as a PackageNameId by @jonmeow in #6306
• Fix initialization of a variable via an ImplicitAs conversion. by @zygoloid in #6327
• Add lowering tests for pointer parameters and return values. by @zygoloid in #6328
• Add dumping for NamedConstraintId and shorten untagged id printing by @danakj in #6319

Full Changelog: v0.0.0-0.nightly.2025.11.05...v0.0.0-0.nightly.2025.11.06

Nightly build 2025.11.05

What's Changed

Toolchain and implementation changes 🛠️

• C++ Interop: Add basic tests for void* conversion by @bricknerb in #6315
• Enable conversions to value-or-ref to use value_of_initializer by @geoffromer in #6309
• C++ Interop: Preserve non-nullability when mapping const non-nullable pointers by @bricknerb in #6293
• Remove TODO that was based on a misunderstanding on my part by @dwblaikie in #6322
• Add support for running LLVM optimizer. by @zygoloid in #6225

Full Changelog: v0.0.0-0.nightly.2025.11.04...v0.0.0-0.nightly.2025.11.05

Nightly build 2025.11.04

What's Changed

Toolchain and implementation changes 🛠️

• C++ Interop: Make CppVoidType always-incomplete by @bricknerb in #6302
• Import the full NamedConstraint from its decl by @danakj in #6311
• Remove redundant function parameter by @geoffromer in #6313

Full Changelog: v0.0.0-0.nightly.2025.11.01...v0.0.0-0.nightly.2025.11.04

Nightly build 2025.11.03

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.03

Nightly build 2025.11.02

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

Nightly build 2025.11.01

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.01

Nightly build 2025.10.31

What's Changed

Toolchain and implementation changes 🛠️

• Remove unused ImportCppId and list of Cpp imports in File by @bricknerb in #6290
• Fix Cpp.void stringification to be consistent with other singletons by @jonmeow in #6301
• Add the CheckIRId tag to NamedConstraintIds by @danakj in #6298
• Don't elide Self when dumping the interface/constraint by @danakj in #6297
• Clean up singleton TypeId use by @jonmeow in #6300

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

Nightly build 2025.10.30

What's Changed

Toolchain and implementation changes 🛠️

• Add unit tagging to ImportCppId by @dwblaikie in #6288
• C++ Interop: Support getting void* from C++ functions and passing void* it to C++ function by @bricknerb in #6279
• C++ Interop: Add a test that demonstrates that const non nullable pointers are wrongly mapped to nullable (optional) pointers by @bricknerb in #6284
• Add support for ref patterns by @geoffromer in #6283
• Add a base struct for singleton type insts by @jonmeow in #6289
• Change ImplWitnessTablePlaceholder from instruction to InstId value by @jonmeow in #6294
• Actually do fingerprinting for InstFingerprinter::GetOrCompute with a CppOverloadSet by @danakj in #6296
• Fix diagnostic for argument count mismatch on call to generic constraint by @danakj in #6292
• Mask unexpected inst ids by @jonmeow in #6295

Utilities 📐

• Syntax highlight //@include-in-dumps as a valid comment by @danakj in #6299

Full Changelog: v0.0.0-0.nightly.2025.10.29...v0.0.0-0.nightly.2025.10.30