Struct rustc_trait_selection::traits::query::type_op::ascribe_user_type::AscribeUserType

pub struct AscribeUserType<'tcx> {
    pub mir_ty: &'tcx TyS<'tcx>,
    pub def_id: DefId,
    pub user_substs: UserSubsts<'tcx>,
}

Fields

mir_ty: &'tcx TyS<'tcx>

def_id: DefId

user_substs: UserSubsts<'tcx>

Trait Implementations

impl<'tcx> QueryTypeOp<'tcx> for AscribeUserType<'tcx>

type QueryResponse = ()

pub fn try_fast_path(
    _tcx: TyCtxt<'tcx>,
    _key: &ParamEnvAnd<'tcx, Self>
) -> Option<Self::QueryResponse>

Give query the option for a simple fast path that never actually hits the tcx cache lookup etc. Return Some(r) with a final result or None to do the full path.

pub fn perform_query(
    tcx: TyCtxt<'tcx>,
    canonicalized: Canonicalized<'tcx, ParamEnvAnd<'tcx, Self>>
) -> Fallible<CanonicalizedQueryResponse<'tcx, ()>>

Performs the actual query with the canonicalized key -- the real work happens here. This method is not given an infcx because it shouldn't need one -- and if it had access to one, it might do things like invoke sub_regions, which would be bad, because it would create subregion relationships that are not captured in the return value.

pub fn fully_perform_into(
    query_key: ParamEnvAnd<'tcx, Self>,
    infcx: &InferCtxt<'_, 'tcx>,
    output_query_region_constraints: &mut QueryRegionConstraints<'tcx>
) -> Fallible<Self::QueryResponse>