Enum BoundScalarExpression 

pub enum BoundScalarExpression {
    BindingValue {
        binding: BindingId,
        nullability: ScalarNullability,
    },
    LiteralNull,
    LiteralNonNull,
    Parameter {
        nullability: ScalarNullability,
    },
    StrictCall {
        arguments: Vec<Self>,
        result_nullability_when_arguments_non_null: ScalarNullability,
    },
    Coalesce(Vec<Self>),
    Opaque {
        referenced_bindings: BindingSet,
        nullability: ScalarNullability,
    },
}

Bound scalar nodes required by the null-rejection analysis.

Binders should use Self::Opaque for unsupported expressions. A strict call promises only that a null argument produces a null result; callers must describe the result’s nullability when every argument is non-null.

Variants

BindingValue

Fields

binding: BindingId

nullability: ScalarNullability

LiteralNull

LiteralNonNull

Parameter

Fields

nullability: ScalarNullability

StrictCall

Fields

arguments: Vec<Self>

result_nullability_when_arguments_non_null: ScalarNullability

Coalesce(Vec<Self>)

Opaque

Fields

referenced_bindings: BindingSet

nullability: ScalarNullability

Implementations

impl BoundScalarExpression

pub fn referenced_bindings(&self) -> BindingSet

Trait Implementations

impl Clone for BoundScalarExpression

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundScalarExpression

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

Formats the value using the given formatter.

impl Eq for BoundScalarExpression

impl PartialEq for BoundScalarExpression

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BoundScalarExpression