[−][src]Function rustc_trait_selection::traits::project::project_type
pub(in traits::project) 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:
obligationmust be fully normalized