Function rustc_trait_selection::traits::project::project_type

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

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

IMPORTANT:

  • obligation must be fully normalized