Struct debris_mir::mir_context::ReturnValuesData

pub struct ReturnValuesData {
    pub default_return: MirObjectId,
    pub explicit_return: Option<(MirObjectId, Span)>,
    pub unconditionally_returned: bool,
}

Stores returns values a given context can return Multiple contexts can share the same return values data

Fields

default_return: MirObjectId

explicit_return: Option<(MirObjectId, Span)>

The id of the explicitly returned value and the span where it was declared

unconditionally_returned: bool

Implementations

impl ReturnValuesData

pub fn new(default_return: MirObjectId) -> Self

pub fn return_value(&self) -> MirObjectId

Returns the id of the return value This should be the first return value in a function

pub fn return_span(&self) -> Option<Span>

Trait Implementations

impl Debug for ReturnValuesData

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

Formats the value using the given formatter.