Enum LoweringFlowError 

pub enum LoweringFlowError<'db> {
    Failed(DiagnosticAdded),
    Panic(VarUsage<'db>, LocationId<'db>),
    Return(VarUsage<'db>, LocationId<'db>),
    Match(MatchInfo<'db>),
}

Cases where the flow of lowering an expression should halt.

Variants

Failed(DiagnosticAdded)

Computation failure. A corresponding diagnostic should be emitted.

Panic(VarUsage<'db>, LocationId<'db>)

The expression that was being lowered always panics, and does not flow to the parent builder.

Return(VarUsage<'db>, LocationId<'db>)

The expression that was being lowered always returns from the function, and does not flow to the parent builder.

Match(MatchInfo<'db>)

Every match arm is terminating - does not flow to parent builder e.g. returns or panics.

Implementations

impl<'db> LoweringFlowError<'db>

pub fn is_unreachable(&self) -> bool

Trait Implementations

impl<'db> Clone for LoweringFlowError<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for LoweringFlowError<'db>

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

Formats the value using the given formatter.