[do not merge] Add a Move marker trait#144679
Closed
yoshuawuyts wants to merge 12 commits into
Closed
Commits
Commits on Jul 30, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Move marker trait#144679