Struct cairo_lang_semantic::resolve::ResolverData

pub struct ResolverData {
    pub module_file_id: ModuleFileId,
    pub generic_params: Vec<GenericParamId>,
    pub resolved_items: ResolvedItems,
    pub inference_data: InferenceData,
    pub trait_or_impl_ctx: TraitOrImplContext,
    pub allowed_features: OrderedHashSet<SmolStr>,
    /* 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.

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.

allowed_features: OrderedHashSet<SmolStr>

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

This method tests for self and other values to be equal, and is used by ==.

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

This method 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