Function rustc_trait_selection::traits::project::project_type

fn project_type<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>, 
    obligation: &Obligation<'tcx, ProjectionTy<'tcx>>
) -> Result<ProjectedTy<'tcx>, ProjectionTyError<'tcx>>

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

IMPORTANT:

• obligation must be fully normalized