Enum CoalesceShape 

pub enum CoalesceShape {
    PreserveOption,
    Collapse,
    RuntimeCheck,
}

Which of infer::ty::coalesce’s three outcomes one or step took — the shape question LIR lowering asks, answered from types instead of syntax.

Variants

PreserveOption

Option[T] or Option[U] — optionality survives the step, so the step’s value stays an Option for whatever consumes it (the next step of a chain, or the expression’s own consumer).

Collapse

Option[T] or U — the step collapses to the plain value type.

RuntimeCheck

The left-hand type is not statically pinned (Ty::Unknown / Ty::Conflicted — gradual mode, or a strict escape already reported by E065/E066).

The runtime check is the semantics here (RULED 2026-07-26, and documented on brink_format::Opcode::CoalesceSome): an Option value coalesces, a plain value faults, exactly like every other gradual runtime check. A consumer must not statically commit to either shape on this verdict.

Trait Implementations

impl Clone for CoalesceShape

fn clone(&self) -> CoalesceShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CoalesceShape

impl Debug for CoalesceShape

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

Formats the value using the given formatter.

impl Eq for CoalesceShape

impl PartialEq for CoalesceShape

fn eq(&self, other: &CoalesceShape) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CoalesceShape