Repository navigation

feat(grounding): T-Ground-Lifetime-Analyzer implementation (R2 scope a/b/c) - #1206

Merged

briansrls merged 15 commits into

mainfrom

session/nimble-pike-489

Apr 29, 2026

Merged

feat(grounding): T-Ground-Lifetime-Analyzer implementation (R2 scope a/b/c)#1206
briansrls merged 15 commits into
mainfrom
session/nimble-pike-489

Commits on Apr 29, 2026
- WIP: nimble-pike-489
  briansrls
  committed
  12bff6f
- WIP: nimble-pike-489
  briansrls
  committed
  8418b20
- chore: apply cargo fmt
  briansrls
  committed
  746273e
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  b795b28
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  d1272ed
- WIP: nimble-pike-489
  briansrls
  committed
  6294277
- WIP: nimble-pike-489
  briansrls
  committed
  fc14a34
- WIP: nimble-pike-489
  briansrls
  committed
  e0fde02
- chore: apply cargo fmt
  briansrls
  committed
  4d2405a
- fix(grounding-lifetime): address api-review tidy-ups (PR #1206)
  briansrls
  committed
  9778ec4
- fix(grounding-lifetime): fail-closed growability for borrowed params (PR #1206)
  briansrls
  committed
  43dde23
- fix(grounding-lifetime): require transient proof for opaque param uses (PR #1206)
  briansrls
  committed
  ba8b527
- docs(grounding-lifetime): Practice 4 enum checkpoints (PR #1206)
  briansrls
  committed
  487530c
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  78207d8
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  60ff47f