Function project

fn project<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>,
    obligation: &ProjectionTermObligation<'tcx>,
) -> Result<Projected<'tcx>, ProjectionError<'tcx>>

Computes the result of a projection type (if we can).

IMPORTANT:

• obligation must be fully normalized