I'm not sure that is technically accurate. Isn't possible for someone to write an object that has both Deref and Future traits and the derefed value is a future?
My (possibly incorrect) understanding of deref rules, are that if .await doesn't deref it will await the original future but if it gets added it will await the derefed one.
Of course, that doesn't seem like something that is likely to come up in practice.