rustc_trait_selection::traits::select

Module 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.