Struct CoalesceStep 

pub struct CoalesceStep {
    pub lhs: Ty,
    pub rhs: Ty,
    pub result: Ty,
    pub shape: CoalesceShape,
}

The recorded types of one or step, in the left-associative order the grammar builds.

Fields

lhs: Ty

The left-hand type. For the innermost step this is the classified operand; for every later step it is the previous step’s result.

rhs: Ty

The fallback operand’s classified type.

result: Ty

infer::ty::coalesce(lhs, rhs) — the step’s value type.

shape: CoalesceShape

The shape Self::result implies for a consumer.

Trait Implementations

impl Clone for CoalesceStep

fn clone(&self) -> CoalesceStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoalesceStep

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

Formats the value using the given formatter.

impl Eq for CoalesceStep

impl PartialEq for CoalesceStep

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CoalesceStep