Struct ResolverData

pub struct ResolverData {
    pub module_file_id: ModuleFileId,
    pub generic_params: Vec<GenericParamId>,
    pub type_enriched_members: OrderedHashMap<(TypeId, bool), EnrichedMembers>,
    pub resolved_items: ResolvedItems,
    pub inference_data: InferenceData,
    pub trait_or_impl_ctx: TraitOrImplContext,
    pub feature_config: FeatureConfig,
    pub used_items: OrderedHashSet<LookupItemId>,
    /* private fields */
}

Fields

module_file_id: ModuleFileId

Current module in which to resolve the path.

generic_params: Vec<GenericParamId>

All generic parameters accessible to the resolver.

type_enriched_members: OrderedHashMap<(TypeId, bool), EnrichedMembers>

The enriched members per type and its mutability in the resolver context.

resolved_items: ResolvedItems

Lookback map for resolved identifiers in path. Used in “Go to definition”.

inference_data: InferenceData

Inference data for the resolver.

trait_or_impl_ctx: TraitOrImplContext

The trait/impl context the resolver is currently in. Used to resolve “Self::” paths.

feature_config: FeatureConfig

The configuration of allowed features.

used_items: OrderedHashSet<LookupItemId>

The set of used items in the current context.

Implementations

impl ResolverData

pub fn new(module_file_id: ModuleFileId, inference_id: InferenceId) -> Self

pub fn clone_with_inference_id( &self, db: &dyn SemanticGroup, inference_id: InferenceId, ) -> Self

Trait Implementations

impl Debug for ResolverData

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

Formats the value using the given formatter.

impl<'a, T: ?Sized + Upcast<dyn SemanticGroup + 'static>> DebugWithDb<T> for ResolverData

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

impl PartialEq for ResolverData

fn eq(&self, other: &ResolverData) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ResolverData

impl StructuralPartialEq for ResolverData