Skip to main content

label_infallible

Function label_infallible 

Source
pub fn label_infallible(expr: &Expression) -> BooleanLabels<'_>
Expand description

Label each expression with whether its entire subtree is infallible.

A subtree is infallible only when the node’s scalar function and every child subtree are infallible. See crate::scalar_fn::ScalarFnVTable::is_infallible for the scalar-function contract.