Repository navigation

mir-importer: require closure receiver for rust-call lowering - #214

Merged

nihalpasham merged 2 commits into

NVIDIA:mainfrom

niklebedenko:upstream-closure-receiver-guard

Jun 16, 2026

Merged

mir-importer: require closure receiver for rust-call lowering#214
nihalpasham merged 2 commits into
NVIDIA:mainfrom
niklebedenko:upstream-closure-receiver-guard

Commits on Jun 16, 2026
- mir-importer: require closure receiver for rust-call lowering
  
  niklebedenko
  authored and
  nihalpasham
  committed
  66b4b17
- mir-importer: document receiver_is_closure invariant + add projection/double-ref closure coverage
  nihalpasham
  committed
  c82dcfc