Function rustc_trait_selection::traits::project::project_and_unify_term
source · fn project_and_unify_term<'cx, 'tcx>(
selcx: &mut SelectionContext<'cx, 'tcx>,
obligation: &ProjectionObligation<'tcx>,
) -> ProjectAndUnifyResult<'tcx>
Expand description
Evaluates constraints of the form:
ⓘ
<T as Trait>::U == V
If successful, this may result in additional obligations.
See poly_project_and_unify_term for an explanation of the return value.