Design meeting: `Move` trait

[yoshuawuyts]

Summary

In today's extended lang triage at least 3 lang members expressed interest in discussing Move (#354) in more detail, and we identified at least one point of disagreement among lang members ¹. This seems like it would make for a good meeting to discuss in more detail. I'm happy to put a design doc together for this.

cc/ @lcnr, @nia-e

Background reading

• Experiment proposal: Move trait #354
• Ergonomic Self-Referential Types > Immovable Types Yosh Wuyts, 2024
• Adding implicit auto-trait bounds is hard lcnr, 2025
• Move trait perf test #146201 lcnr, 2025
• Initial support for auto traits with default bounds #120706 Bryanskiy, 2024

About this issue

This issue corresponds to a lang-team design meeting proposal. It corresponds to a possible topic of discussion that may be scheduled for deeper discussion during one of our design meetings.

Footnotes

1. Whether Move is an alternative to pin ergonomics or whether it is complimentary. ↩