Struct IfExpr 

pub struct IfExpr {
    pub cond: Box<Expr>,
    pub then_block: BlockExpr,
    pub else_block: Option<BlockExpr>,
    pub span: Span,
    pub is_comptime: bool,
}

An if expression.

Fields

cond: Box<Expr>

Condition (must be bool)

then_block: BlockExpr

Then branch

else_block: Option<BlockExpr>

Optional else branch

span: Span

is_comptime: bool

ADR-0079 follow-up: comptime if cond { … } else { … } — sema evaluates cond at comptime and emits only the chosen branch’s runtime AIR, never analyzing the discarded one. Lets the prelude derive Clone / derive Copy dispatch on @type_info(Self).kind without forcing the unused branch to type-check against the host type.

Trait Implementations

impl Clone for IfExpr

fn clone(&self) -> IfExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IfExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IfExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IfExpr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for IfExpr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for IfExpr

impl StructuralPartialEq for IfExpr