Function project_and_unify_term

fn project_and_unify_term<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>,
    obligation: &ProjectionObligation<'tcx>,
) -> ProjectAndUnifyResult<'tcx>

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.