Trait ResolveToSym 

pub trait ResolveToSym<'db> {
    // Required method
    fn resolve_to_sym(
        self,
        db: &'db dyn Db,
        scope: &Scope<'_, 'db>,
    ) -> Errors<NameResolutionSym<'db>>;
}

Partial name resolution: This simply extracts what symbol has been named by the user in a path. It can by synchronous and only requires a scope, not a type checking environment. This is used when creating default permissions, as we want to be able to do that before type checking has truly begun.

Required Methods

fn resolve_to_sym( self, db: &'db dyn Db, scope: &Scope<'_, 'db>, ) -> Errors<NameResolutionSym<'db>>

Implementations on Foreign Types

impl<'db> ResolveToSym<'db> for AstPath<'db>

fn resolve_to_sym( self, db: &'db dyn Db, scope: &Scope<'_, 'db>, ) -> Errors<NameResolutionSym<'db>>

impl<'db> ResolveToSym<'db> for SpannedIdentifier<'db>

fn resolve_to_sym( self, db: &'db dyn Db, scope: &Scope<'_, 'db>, ) -> Errors<NameResolutionSym<'db>>

Implementors