Module confirmation

Confirmation.

Confirmation unifies the output type parameters of the trait with the values found in the obligation, possibly yielding a type error. See the rustc dev guide for more details.

Functions

• pointer_like_goal_for_rpitit 🔒
  Compute a goal that some RPITIT (right now, only RPITITs corresponding to Futures) implements the PointerLike trait, which is a requirement for the RPITIT to be coercible to dyn* Future, which is itself a requirement for the RPITIT’s parent trait to be coercible to dyn Trait.