Module populate 

Traits

PopulateDefaultSymbols 🔒

In a few specific places, we add in default permissions. These are always an anonymous symbol, so they don’t impact name resolution (this is important to avoid cycles, see the note below).

PopulateSignatureSymbols 🔒

Iterate over the items in a signature (function, class, impl, etc) and create the symbols for generic types and/or parameters declared within. It is used to support Dada’s “inline” declarations, e.g.

Functions

self_arg_requires_default_perm 🔒

Returns true if a self arg requires a default permission. See PopulateDefaultSymbols trait for examples.

variable_decl_requires_default_perm 🔒

Returns true if a variable declaration requires a default permission. See PopulateDefaultSymbols trait for examples.