Struct SemanticLoweringMapping 

pub struct SemanticLoweringMapping<'db> { /* private fields */ }

Implementations

impl<'db> SemanticLoweringMapping<'db>

pub fn topmost_mapped_containing_member_path( &self, member_path: MemberPath<'db>, ) -> Option<MemberPath<'db>>

Returns the topmost mapped member path containing the given member path, or None no such member path exists in the mapping.

pub fn destructure_closure( &mut self, ctx: &mut BlockStructRecomposer<'_, '_, 'db>, closure_var: VariableId, closure_info: &ClosureInfo<'db>, ) -> Vec<VariableId>

pub fn get( &mut self, ctx: BlockStructRecomposer<'_, '_, 'db>, path: &MemberPath<'db>, ) -> Result<VariableId, AssembleValueError<'db>>

pub fn introduce(&mut self, path: MemberPath<'db>, var: VariableId)

pub fn update( &mut self, ctx: &mut BlockStructRecomposer<'_, '_, 'db>, path: &MemberPath<'db>, var: VariableId, ) -> Option<()>

pub fn mark_as_used( &mut self, ctx: BlockStructRecomposer<'_, '_, 'db>, path: &MemberPath<'db>, moved: MovedVar<'db>, )

Marks the variable at the given path as moved.

This function should be called for non-copyable variables.

Trait Implementations

impl<'db> Clone for SemanticLoweringMapping<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for SemanticLoweringMapping<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for SemanticLoweringMapping<'db>

type Db = ExprFormatter<'db>

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

fn debug<'me>(&'me self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

fn into_debug<'me>(self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

impl<'db> Default for SemanticLoweringMapping<'db>

fn default() -> SemanticLoweringMapping<'db>

Returns the “default value” for a type.