Struct rustc_trait_selection::traits::util::traits::query::type_op::AscribeUserType

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

Fields

mir_ty: &TyS

def_id: DefId

user_substs: UserSubsts

Trait Implementations

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

type QueryResponse = ()

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.

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.

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

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes