Repository navigation

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

Merged

Jevan Saks (jevansaks) merged 7 commits into

mainfrom

jevansaks-safehandle-borrowing

Oct 16, 2026

Merged

Generate SafeHandle for RAIIFree-annotated parameters, and make getting the Value from a SafeHandle easier (but still safe)#1844
Jevan Saks (jevansaks) merged 7 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
Commits on Oct 16, 2026
- Merge remote-tracking branch 'origin/main' into jevansaks-safehandle-borrowing
  
  Copilot
  and
  Jevan Saks (jevansaks)
  authored
  7bd42ab