Repository navigation

MemberChanged{from,to}: declaration-owned occurrence identity and typed replacement classification - #8025

Closed

gunbai-bot[bot] wants to merge 3 commits into

mainfrom

session/jolly-swift-846

Closed

MemberChanged{from,to}: declaration-owned occurrence identity and typed replacement classification#8025
gunbai-bot[bot] wants to merge 3 commits into
mainfrom
session/jolly-swift-846

Commits on Aug 6, 2026
- MemberChanged{from,to}: declaration-owned occurrence identity and typed replacement classification
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1497378
- Trigger CI synchronize: #7938 opened with zero check runs (GitHub Actions webhook incident)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  92ca80a
Commits on Aug 7, 2026
- WIP: MemberChanged{from,to}: declaration-owned occurrence identity and typed
  gunbc-ci-auto-heal
  committed
  3303266