Update PinBorrowKind to use StableHash instead of old HashStable - #7

Closed

P8L1 wants to merge 8 commits into

frank-king:feature/pin-borrowckfrom

Commits on Apr 28, 2026

Implement borrowck of pinned borrows
frank-king
committed
05b9a73
Fix pin ergonomics borrowck for transient pinned borrows

P8L1
authored and
frank-king
committed
122d1be

Commits on Apr 29, 2026

Require pin_v2 for direct pin borrows of ADTs

P8L1
authored and
frank-king
committed
d7f4bbd

Commits on May 1, 2026

Gate direct pin-borrow ADT diagnostic on !Unpin

P8L1
authored and
frank-king
committed
edeac5e

Commits on May 3, 2026

Skip long-lived pin facts for Unpin places

P8L1
authored and
frank-king
committed
7843ffd
Inline pinned_borrows access

P8L1
authored and
frank-king
committed
be61203
Handle ref pin patterns in borrowck

P8L1
authored and
frank-king
committed
a72c987
Update PinBorrowKind to use StableHash instead of old HashStable
P8L1
authored
2c431b3