Function rustc_trait_selection::traits::project::project

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

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

IMPORTANT:

  • obligation must be fully normalized