2026-05-25 — Last Week in Carbon #7263

josh11b · 2026-05-26T21:06:04Z

josh11b
May 26, 2026
Maintainer

(Sorry this is late! It was delayed 1 day due to a US Holiday.)

Decisions
- #6932 Should we move away from :! syntax for generics and templates?
  - Discussed in 05-18 and 05-21.
  - Yes. Determine if the parameter is compile time from the context. Have keywords (template, generic, runtime) to override that. Use fwd for a form-generic parameter or return in place of ref/var/val.
  - Proposed as #7254.
New issues
- #7235 Should we allow octal escapes in string literals?
Active discussions
- (none)

Decisions
- (none)
New RFC proposals
- #7245 Make proposal filenames use 6 digits and include the title
  - Discussed in #proposals-prs-and-process
- #7254 Replace `:!` and `:?` with keywords and contextual defaults
  - Implements decision on #6932.
Active discussions
- #7140 Orphan rule for scopes
  - The rule needs to specify the first owning declaration, or we need to change the definition of "owning".

Conduct team updates:
- none
Moderation interventions last week:
- On Discord, an account was banned after attempting to spam a channel, and a user was educated and warned after posting an off-topic question.
- WIP: new landing page mockup that would incorporate self-learning quizzes in #7237
- WIP: TypeScript community interview summary for the moderation team
Activity in the past week:
- 7 authors have pushed 24 commits to trunk.
- 785 files have changed and there have been 55,979 additions and 56,060 deletions
- We merged 24 PRs, opened 12 additional PRs, closed 2 issues, and opened 3 new issues.

05-19 Where are we on interop?
05-19 Multi-file compilations
05-19 GCC 2.95 ABI support proposed in Clang upstream which may motivate more robust ABI abstractions in Clang that would benefit Carbon
05-21 Scope of an ASTContext, and how closely should Carbon stick to the C++ compilation model?
#toolchain Constants attached to a generic used by pattern matching.
#toolchain GetConstantValueInSpecific returns a concrete constant value with a symbolic type that's still attached to the generic.
#toolchain Possibly implementing cloning in terms of substitution, and handling of the type of self in virtual methods using a new UnsafeUndoAs.
#interop Downside of the one-ASTContext-per-invocation approach
PRs:
- Export virtual in #7211
- Update deps in #7221 #7256 #7234
- static var class fields in #7215
- methods in #7225
- dev infra in #7223 #7229 #7255
- benchmarking in #7220
- lookup into extended in #7217
- indirect template instantiation in #7240
- C++ modules in #7233 #7241
- field initializers in #7238
- C++ range-for in #7230
- invalid identifiers in #7249
- others in #7226 #7227 #7231 #7232 #7248 #7250 #7252

#infra Considering migrating our Python infrastructure to the Astral stack
#language-questions Can a parameter be returned?
#contributing-help Is there a Carbon equivalent of llvm::ErrorOr?
#generics-and-templates Numbering .Self.
#build-integrations How to test carbon build?
#infra Using fizz.link as a Carbon-internal link shortener?
#infra How to effectively give feedback on #7237
#build-help external directory keeps showing up as not ignored in jj.
#generics-and-templates Are there any cases where OptionalStorage.Type shouldn't impl Destroy?
#contributing-help Where to put common code for driver tests?
#ints-and-floats Can't typecheck addition of int16 and Int(N) because it would select different impls for different Ns.
#generics-and-templates Currently rejecting valid code with "no `Self` reference found" error.
#generics-and-templates Should we add From to the prelude, as the dual of ImplicitAs? And maybe rename ImplicitAs as Into?