Type Alias CanonicalQueryInput

pub type CanonicalQueryInput<'tcx, V> = CanonicalQueryInput<TyCtxt<'tcx>, V>;

Aliased Type

struct CanonicalQueryInput<'tcx, V> {
    pub canonical: Canonical<TyCtxt<'tcx>, V>,
    pub typing_mode: TypingMode<TyCtxt<'tcx>>,
}

Fields

canonical: Canonical<TyCtxt<'tcx>, V>

typing_mode: TypingMode<TyCtxt<'tcx>>

Trait Implementations

impl<'tcx, T: Clone> Key for CanonicalQueryInput<'tcx, T>

Canonical query goals correspond to abstract trait operations that are not tied to any crate in particular.

type Cache<V> = DefaultCache<CanonicalQueryInput<TyCtxt<'tcx>, T>, V>

fn default_span(&self, _tcx: TyCtxt<'_>) -> Span

In the event that a cycle occurs, if no explicit span has been given for a query with key self, what span should we use?

fn key_as_def_id(&self) -> Option<DefId>

If the key is a DefId or DefId–equivalent, return that DefId. Otherwise, return None.

fn def_id_for_ty_in_cycle(&self) -> Option<DefId>

Used to detect when ADT def ids are used as keys in a cycle for better error reporting.

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.