Repository navigation

quest(m3): delete Vec::drain from std's MIR - #636

Merged

kixelated merged 4 commits into

mainfrom

quest/m3/ts-unsafe/vec-drain-mir

Nov 7, 2026

Merged

quest(m3): delete Vec::drain from std's MIR#636
kixelated merged 4 commits into
mainfrom
quest/m3/ts-unsafe/vec-drain-mir

Commits on Nov 7, 2026
- chore(quest): claim quest/m3/ts-unsafe/vec-drain-mir.md
  kixelated
  committed
  8ec59b1
- quest(m3): record what std's Drain from MIR needs, and leave keeping it to the maintainer
  
  kixelated
  and
  claude
  committed
  d102dc9
- Merge remote-tracking branch 'origin/main' into HEAD
  kixelated
  committed
  3b46d73
- quest(m3): delete Vec::drain from std's MIR, keeping the runtime's port
  
  kixelated
  and
  claude
  committed
  291ea6f