Struct LifetimeScope 

pub struct LifetimeScope { /* private fields */ }

Tracks lifetime information for variables in the current scope

Implementations

impl LifetimeScope

pub fn new() -> Self

pub fn set_lifetime(&mut self, var: String, lifetime: String)

Assign a lifetime to a variable

pub fn mark_owned(&mut self, var: String)

Mark a variable as owned (not a reference)

pub fn get_lifetime(&self, var: &str) -> Option<&String>

Get the lifetime of a variable

pub fn is_owned(&self, var: &str) -> bool

Check if a variable is owned

pub fn add_constraint(&mut self, constraint: LifetimeBound)

Add a lifetime constraint

pub fn check_outlives(&self, longer: &str, shorter: &str) -> bool

Check if lifetime ’a outlives lifetime ’b

Trait Implementations

impl Clone for LifetimeScope

fn clone(&self) -> LifetimeScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LifetimeScope

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

Formats the value using the given formatter.