Why Box<Future<...>> is type equivalent to just Future<...>

Thank you! I got confused by the same issue again (one more was here: What does || mean?). Is there any way to locate various definitions of 'implicit type conversions' like this? How do you find them? Just know the API? read the documentation? or some IDE can help? or maybe there is a golden strategy on how to break through questions like this?