Trait AnonymousPermSymbol 

pub(crate) trait AnonymousPermSymbol<'db> {
    // Required method
    fn anonymous_perm_symbol(self, db: &'db dyn Db) -> SymVariable<'db>;
}

Required Methods

fn anonymous_perm_symbol(self, db: &'db dyn Db) -> SymVariable<'db>

Implementations on Foreign Types

impl<'db> AnonymousPermSymbol<'db> for AstSelfArg<'db>

Create a generic symbol for an anonymous permission like self. This is not always needed; see the implementation of [PopulateSignatureSymbols][] for AstSelfArg.

Tracked so that it occurs at most once per self declaration.

fn anonymous_perm_symbol( self: AstSelfArg<'db>, db: &'db dyn Db, ) -> SymVariable<'db>

impl<'db> AnonymousPermSymbol<'db> for VariableDecl<'db>

Create a generic symbol for a variable declaration that has no explicit permission, like x: String. This is not always needed; see the implementation of [PopulateSignatureSymbols][] for VariableDecl.

Tracked so that it occurs at most once per self declaration.

fn anonymous_perm_symbol( self: VariableDecl<'db>, db: &'db dyn Db, ) -> SymVariable<'db>

impl<'db> AnonymousPermSymbol<'db> for AstPerm<'db>

Create the generic symbol for an anonymous permission like shared T or mutable T. This is desugared into the equivalent of (perm:shared) T.

Tracked so that it occurs at most once per shared|mutable|given declaration.

fn anonymous_perm_symbol( self: AstPerm<'db>, db: &'db dyn Db, ) -> SymVariable<'db>

Implementors