[class.copy.elision] p3 says:

In the following copy-initialization contexts, a move operation might be used instead of a copy operation

Specifically, "might" makes implicit move sound optional to the implementation, since there is no specification as to what happens after overload resolution is performed.