pub(crate) trait QueryContext {
type Def: Def;
type Ref: Ref;
type Scope: Copy;
// Required methods
fn is_accessible_from(&self, def: Self::Def, scope: Self::Scope) -> bool;
fn min_align(&self, reference: Self::Ref) -> usize;
}
Expand description
Context necessary to answer the question “Are these types transmutable?”.
Required Associated Types§
Required Methods§
sourcefn is_accessible_from(&self, def: Self::Def, scope: Self::Scope) -> bool
fn is_accessible_from(&self, def: Self::Def, scope: Self::Scope) -> bool
Is def
accessible from the defining module of scope
?