Struct QueryStackFrame

pub struct QueryStackFrame<I> {
    pub info: I,
    pub dep_kind: DepKind,
    hash: Hash64,
    pub def_id: Option<DefId>,
    pub def_id_for_ty_in_cycle: Option<DefId>,
}

Description of a frame in the query stack.

This is mostly used in case of cycles for error reporting.

Fields

info: I

This field initially stores a QueryStackDeferred during collection, but can later be changed to QueryStackFrameExtra containing concrete information by calling lift. This is done so that collecting query does not need to invoke queries, instead lift will call queries in a more appropriate location.

dep_kind: DepKind

hash: Hash64

This hash is used to deterministically pick a query to remove cycles in the parallel compiler.

def_id: Option<DefId>

def_id_for_ty_in_cycle: Option<DefId>

A def-id that is extracted from a Ty in a query key

Implementations

impl<I> QueryStackFrame<I>

pub fn new( info: I, dep_kind: DepKind, hash: impl FnOnce() -> Hash64, def_id: Option<DefId>, def_id_for_ty_in_cycle: Option<DefId>, ) -> Self

fn lift<Qcx: QueryContext<QueryInfo = I>>( &self, qcx: Qcx, ) -> QueryStackFrame<QueryStackFrameExtra>

Trait Implementations

impl<I: Clone> Clone for QueryStackFrame<I>

fn clone(&self) -> QueryStackFrame<I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I: Debug> Debug for QueryStackFrame<I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.