Function rustc_trait_selection::traits::project::project

source · [−]
fn project<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>,
    obligation: &Obligation<'tcx, ProjectionTy<'tcx>>
) -> Result<Projected<'tcx>, ProjectionError<'tcx>>
Expand description

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

IMPORTANT:

  • obligation must be fully normalized