Trait UserAnnotatedTyHelpers

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

    // Provided method
    fn user_args_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_args_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 generic parameters; the hir-id must map to a suitable type.

Implementors

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

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