`Move` trait prototype - #161457

Draft

zannabianca1997 wants to merge 23 commits into

rust-lang:mainfrom

zannabianca1997:move-trait

Commits on Jun 15, 2026

fallible type ops

nia-e
authored and
zannabianca1997
committed
9595e03
move trait

nia-e
authored and
zannabianca1997
committed
12e2d6a

Commits on Aug 5, 2026

Fix: removed Move from being printed at all
zannabianca1997
committed
b6dff63

Commits on Aug 16, 2026

Fix: assume Move when the `move_trait` feature is not added
zannabianca1997
committed
0c55a40

Commits on Aug 21, 2026

Fix: preferred printing of `?Move` instead of `Move`
zannabianca1997
committed
51548a7

Commits on Aug 22, 2026

Feat: removed Move from mangled symbols
zannabianca1997
committed
94e0cd9

Commits on Aug 23, 2026

Feat: mangling of `?Move` bounds
zannabianca1997
committed
37f046f
Fix: legacy mangler (Fn printer)
zannabianca1997
committed
5acdf81
Fix: normalized test
zannabianca1997
committed
f6149f3
Fix: correctly refusing trait objects that have only Move as a bound
zannabianca1997
committed
0556839
Fix: line number drift
zannabianca1997
committed
4c040ec
Fix: added now present Move clause
zannabianca1997
committed
1c74e76
Fix: missing Move pattern
zannabianca1997
committed
68930dd

Commits on Aug 24, 2026

Fix: removed the move clause from explicit clauses when the feature is
zannabianca1997
committed
757e345

Commits on Aug 28, 2026

Cleanup
zannabianca1997
committed
c1271cc
Fix: expanded boolean into a more comprehensible enum
zannabianca1997
committed
9f2ad53
aligned to boolean values
zannabianca1997
committed
97fc218

Commits on Aug 29, 2026

Fix: helper to avoid repeating printing pattern
zannabianca1997
committed
bca55d8
Fix: missing prints
zannabianca1997
committed
ae6089b
reborrow! yay.
zannabianca1997
committed
e8b8473

Commits on Aug 30, 2026

Fix: documented error in feature gate test
zannabianca1997
committed
b8a227b
Fix: documented test being fixed under the next solver
zannabianca1997
committed
cb26587
Chore: new test use the debug too
zannabianca1997
committed
a068654