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