Struct NameResolution 

pub(crate) struct NameResolution<'db> {
    pub generics: Vec<SymGenericTerm<'db>>,
    pub sym: NameResolutionSym<'db>,
}

Fields

generics: Vec<SymGenericTerm<'db>>

sym: NameResolutionSym<'db>

Implementations

impl<'db> NameResolution<'db>

pub fn categorize(&self, db: &'db dyn Db) -> impl Display + 'db

Returns a string describing self that fits the mold “an X”.

pub fn describe(&self, db: &'db dyn Db) -> impl Display + 'db

Returns a string describing self that fits the mold “an X named foo”.

pub(crate) fn resolve_relative_id( self, db: &'db dyn Db, id: SpannedIdentifier<'db>, ) -> Errors<Result<NameResolution<'db>, NameResolution<'db>>>

Like NameResolutionSym::resolve_relative_id but also threads the generic arguments through.

pub(crate) async fn resolve_relative_generic_args( self, env: &mut Env<'db>, generics: &SpanVec<'db, AstGenericTerm<'db>>, ) -> Errors<NameResolution<'db>>

Attempts to resolve generic argments like foo[u32].

pub fn span(&self, db: &'db dyn Db) -> Option<Span<'db>>

Returns the span where the item that is being referenced was declared. Returns None for primitives or things that have no declaration.

Trait Implementations

impl<'db> Clone for NameResolution<'db>

fn clone(&self) -> NameResolution<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for NameResolution<'db>

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

Formats the value using the given formatter.

impl<'db> From<NameResolution<'db>> for ExprResultKind<'db>

fn from(value: NameResolution<'db>) -> Self

Converts to this type from the input type.

impl<'db> PartialEq for NameResolution<'db>

fn eq(&self, other: &NameResolution<'db>) -> 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<'db> Serialize for NameResolution<'db>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'db> Update for NameResolution<'db>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for NameResolution<'db>

impl<'db> StructuralPartialEq for NameResolution<'db>