Repository navigation

Generate SafeHandle for RAIIFree-annotated parameters, and make getting the Value from a SafeHandle easier (but still safe) - #1844

Open

Jevan Saks (jevansaks) wants to merge 6 commits into

mainfrom

jevansaks-safehandle-borrowing

Open

Generate SafeHandle for RAIIFree-annotated parameters, and make getting the Value from a SafeHandle easier (but still safe)#1844
Jevan Saks (jevansaks) wants to merge 6 commits into
mainfrom
jevansaks-safehandle-borrowing

Commits on Oct 8, 2026
- Project contextual native ownership with typed SafeHandle leases
  Jevan Saks (jevansaks)
  committed
  315643c
- Enforce lifetime errors and allow scoped string interpolation
  
  Jevan Saks (jevansaks)
  and
  Copilot
  committed
  2906a58
- Distinguish owner DangerousValue from lease Value
  
  Jevan Saks (jevansaks)
  and
  Copilot
  committed
  69a9f2c
- Limit SafeHandle input inference to HANDLE
  
  Jevan Saks (jevansaks)
  and
  Copilot
  committed
  6e85ab5
Commits on Oct 9, 2026
- Fix full-generation inference and expose annotated cleanup dependencies
  Jevan Saks (jevansaks)
  committed
  39255eb
- Expose annotated cleanup dependencies for COM outputs as well
  Jevan Saks (jevansaks)
  committed
  f3f5a69