Module rustc_trait_selection::traits::select::confirmation
source · Expand description
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.