Trait rustc_mir_build::thir::util::UserAnnotatedTyHelpers

pub(crate) trait UserAnnotatedTyHelpers<'tcx> {
    fn tcx(&self) -> TyCtxt<'tcx>;
    fn typeck_results(&self) -> &TypeckResults<'tcx>;

    fn user_substs_applied_to_ty_of_hir_id(
        &self, 
        hir_id: HirId
    ) -> Option<CanonicalUserType<'tcx>> { ... }
}

Required methods

fn tcx(&self) -> TyCtxt<'tcx>

fn typeck_results(&self) -> &TypeckResults<'tcx>

Provided methods

fn user_substs_applied_to_ty_of_hir_id(
    &self,
    hir_id: HirId
) -> Option<CanonicalUserType<'tcx>>

Looks up the type associated with this hir-id and applies the user-given substitutions; the hir-id must map to a suitable type.

Implementors

impl<'tcx> UserAnnotatedTyHelpers<'tcx> for Cx<'tcx>

impl<'tcx> UserAnnotatedTyHelpers<'tcx> for PatCtxt<'_, 'tcx>