Struct rustc_middle::ty::ResolverAstLowering

source ·

pub struct ResolverAstLowering {Show 13 fields
    pub legacy_const_generic_args: FxHashMap<DefId, Option<Vec<usize>>>,
    pub partial_res_map: NodeMap<PartialRes>,
    pub import_res_map: NodeMap<PerNS<Option<Res<NodeId>>>>,
    pub label_res_map: NodeMap<NodeId>,
    pub lifetimes_res_map: NodeMap<LifetimeRes>,
    pub extra_lifetime_params_map: NodeMap<Vec<(Ident, NodeId, LifetimeRes)>>,
    pub next_node_id: NodeId,
    pub node_id_to_def_id: FxHashMap<NodeId, LocalDefId>,
    pub def_id_to_node_id: IndexVec<LocalDefId, NodeId>,
    pub trait_map: NodeMap<Vec<TraitCandidate>>,
    pub builtin_macro_kinds: FxHashMap<LocalDefId, MacroKind>,
    pub lifetime_elision_allowed: FxHashSet<NodeId>,
    pub lint_buffer: Steal<LintBuffer>,
}

Expand description

Resolutions that should only be used for lowering. This struct is meant to be consumed by lowering.

Fields§

§legacy_const_generic_args: FxHashMap<DefId, Option<Vec<usize>>>§partial_res_map: NodeMap<PartialRes>

Resolutions for nodes that have a single resolution.

§import_res_map: NodeMap<PerNS<Option<Res<NodeId>>>>

Resolutions for import nodes, which have multiple resolutions in different namespaces.

§label_res_map: NodeMap<NodeId>

Resolutions for labels (node IDs of their corresponding blocks or loops).

§lifetimes_res_map: NodeMap<LifetimeRes>

Resolutions for lifetimes.

§extra_lifetime_params_map: NodeMap<Vec<(Ident, NodeId, LifetimeRes)>>

Lifetime parameters that lowering will have to introduce.

§next_node_id: NodeId§node_id_to_def_id: FxHashMap<NodeId, LocalDefId>§def_id_to_node_id: IndexVec<LocalDefId, NodeId>§trait_map: NodeMap<Vec<TraitCandidate>>§builtin_macro_kinds: FxHashMap<LocalDefId, MacroKind>

A small map keeping true kinds of built-in macros that appear to be fn-like on the surface (macro items in libcore), but are actually attributes or derives.

§lifetime_elision_allowed: FxHashSet<NodeId>

List functions and methods for which lifetime elision was successful.

§lint_buffer: Steal<LintBuffer>

Lints that were emitted by the resolver and early lints.

Struct rustc_middle::ty::ResolverAstLowering

Fields§

Trait Implementations§

impl Debug for ResolverAstLowering

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

Auto Trait Implementations§

impl !RefUnwindSafe for ResolverAstLowering

impl !Send for ResolverAstLowering

impl !Sync for ResolverAstLowering

impl Unpin for ResolverAstLowering

impl UnwindSafe for ResolverAstLowering

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§