<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Restructure handling of expressions in patterns by @geoffromer in https://github.com/carbon-language/carbon-lang/pull/7445 * Label `VarStorage` as `var_storage` instead of `var` by @geoffromer in https://github.com/carbon-language/carbon-lang/pull/7447 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.07.01...v0.0.0-0.nightly.2026.07.02

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Fix crash from accessing a Check::Context during lowering by @nicholasbishop in https://github.com/carbon-language/carbon-lang/pull/7335 * Recover when converting to an invalid integer type by @mstr-six in https://github.com/carbon-language/carbon-lang/pull/7342 * Revert "Fix crash from accessing a Check::Context during lowering (#7335)" by @nicholasbishop in https://github.com/carbon-language/carbon-lang/pull/7353 * Implement thunking in terms of constant evaluation by @geoffromer in https://github.com/carbon-language/carbon-lang/pull/7332 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.06.12...v0.0.0-0.nightly.2026.06.14

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Extend `CppRangeForIterate` to support ADL `begin`/`end` by @cjdb in https://github.com/carbon-language/carbon-lang/pull/7230 * Improve diagnostics and error recovery for invalid identifiers. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7249 * Convert `TokenInfo::ResetAs...` functions to return new `TokenInfo`s. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7252 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.05.22...v0.0.0-0.nightly.2026.05.24

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Switch the `ValueStore`-related templates to use explicit instantiation by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7116 * Use early rewrites in compound member access by @danakj in https://github.com/carbon-language/carbon-lang/pull/7207 * Use impl's interface to get the specific interface from the identified facet type by @danakj in https://github.com/carbon-language/carbon-lang/pull/7201 * Fix calls to functions with `const T&&` parameters. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7208 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.05.14...v0.0.0-0.nightly.2026.05.15

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Simplify logic a little. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7153 * Simplify type check. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7155 * Add a colon to the dump output for IdentifiedFacetType by @danakj in https://github.com/carbon-language/carbon-lang/pull/7150 * Remove redundant call. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7156 * Properly diagnose ambiguous `.Self` in `T impls X where...` by @danakj in https://github.com/carbon-language/carbon-lang/pull/7132 * Import dynamic-ness of a C++ class by @dwblaikie in https://github.com/carbon-language/carbon-lang/pull/7141 * Factor out definition merging logic. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7154 * Simplify struct literal pop loop. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7158 ### Infrastructure changes :building_construction: * Let lldb dump display a variable when its name matches an id type name by @danakj in https://github.com/carbon-language/carbon-lang/pull/7148 * Split arguments ignoring extra whitespace in lldb dump by @danakj in https://github.com/carbon-language/carbon-lang/pull/7149 * Don't identify sibling PRs as dependencies. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7145 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.05.01...v0.0.0-0.nightly.2026.05.02

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Remove the `Dump` method from `Printable` by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7118 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.04.25...v0.0.0-0.nightly.2026.04.27

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Preserve named constraints across `where` by @danakj in https://github.com/carbon-language/carbon-lang/pull/7104 * adds a field to `SemIR::Interface` to indicate whether it is a core interface by @cjdb in https://github.com/carbon-language/carbon-lang/pull/7091 * Replace .Self in facet types by @danakj in https://github.com/carbon-language/carbon-lang/pull/7097 * Require imported C++ types to be complete before creating a Core.Copy witness by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7112 * Subst `.Self` in `impl as` rewrites by @danakj in https://github.com/carbon-language/carbon-lang/pull/7105 ### Utilities :triangular_ruler: * Force updating the `uuid` dependency of vscode by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7109 ### Infrastructure changes :building_construction: * Do an auto-update to pre-commit versions by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7110 * Add a permissions restriction by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7108 * Update to the latest Bazel 8 release and latest Bazel modules by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7111 * Create a GitHub action to automatically handle dependent PRs by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7101 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.04.24...v0.0.0-0.nightly.2026.04.25

<!-- Release notes generated using configuration in .github/release.yaml at trunk --> ## What's Changed ### Toolchain and implementation changes :hammer_and_wrench: * Require imported C++ types to be complete before creating a Core.Copy witness by @dwblaikie in https://github.com/carbon-language/carbon-lang/pull/7106 * Support for locations in transitively imported C++ code by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7093 * Support C++ calling Carbon functions with ref parameters by @nicholasbishop in https://github.com/carbon-language/carbon-lang/pull/7107 * Basic support for indirect import of C++ classes. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7094 * Factor type lowering out of file_context.cpp. by @zygoloid in https://github.com/carbon-language/carbon-lang/pull/7099 * Switch to a "manual" tags and use them more pervasively by @chandlerc in https://github.com/carbon-language/carbon-lang/pull/7102 ### Utilities :triangular_ruler: * Bump undici from 7.22.0 to 7.24.5 in /utils/vscode in the npm_and_yarn group across 1 directory by @dependabot[bot] in https://github.com/carbon-language/carbon-lang/pull/6951 * Bump the npm_and_yarn group across 1 directory with 2 updates by @dependabot[bot] in https://github.com/carbon-language/carbon-lang/pull/7103 **Full Changelog**: https://github.com/carbon-language/carbon-lang/compare/v0.0.0-0.nightly.2026.04.23...v0.0.0-0.nightly.2026.04.24