Module rustc_trait_selection::traits::select::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.