Function rustc_trait_selection::traits::project::project

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

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

IMPORTANT:

  • obligation must be fully normalized