Repository navigation

feat(ffi): export generic parameters through blanket impls, and leave out traits C cannot implement - #670

Merged

moq-bot[bot] merged 10 commits into

mainfrom

quest/m1/ffi-export/refusals/generics

Nov 10, 2026

Merged

feat(ffi): export generic parameters through blanket impls, and leave out traits C cannot implement#670
moq-bot[bot] merged 10 commits into
mainfrom
quest/m1/ffi-export/refusals/generics

Commits on Nov 9, 2026
- chore(quest): claim quest/m1/ffi-export/refusals/generics.md
  kixelated
  committed
  304b5dc
- feat(ffi): export generic parameters through blanket impls and per-choice bounds, and leave out traits C cannot implement
  
  kixelated
  and
  claude
  committed
  02a732a
- quest: rewrite generics to the futures and kept closures that remain
  
  kixelated
  and
  claude
  committed
  13721aa
- fix(ffi): take a slice for borrowed iterator items only when borrowed for the call
  
  kixelated
  and
  claude
  committed
  0aa14bf
- style(ffi): format
  kixelated
  committed
  5d89a6b
- fix(ffi): refuse a slice for iterator items whose lifetime another parameter names
  
  kixelated
  and
  claude
  committed
  d76e8e9
Commits on Nov 10, 2026
- Merge remote-tracking branch 'origin/main' into quest/m1/ffi-export/refusals/generics
  kixelated
  committed
  bd592bc
- fix(ffi): borrow an iterator's slice for its items' own lifetime
  
  kixelated
  and
  claude
  committed
  4fa8d47
- test(ffi): export first_of now that its borrow is the items' own
  
  kixelated
  and
  claude
  committed
  c5a5c8f
- fix(ffi): check a bound naming a kept parameter at each choice
  
  kixelated
  and
  claude
  committed
  3c278e8