My question is how the compiler infer if the returned future(i.e., the returned impl future) has Send bound? Can the Send bound be automatically inferred with the impl type?
Thank you! Could you provide me some materials or doc on the automatic bound inference of impl type? Do all impl types and bounds work the same way as futures?