I agree that this needs to be reworded, but I think that this needs to be carefully written. It's a bit of a tricky concept that `T` is move-by-default and I'm not sure how many ideas of destruction/movement have been well-introduced by this point.

It may be worth just saying that the compiler assumes type parameters are move-by-default with an explanation later.