One of the stated goals is which enforces this by causing the compiler to emit a diagnostic upon any uses that are after the move function, so they may say it w

One of the stated goals is which enforces this by causing the compiler to emit a diagnostic upon any uses that are after the move function, so they may say it will be part of the standard library, but the compiler will have to know what it does, just as a C compiler can assume what strlen (if #included from the right system header) does and inline it any way it wishes.