Function check_all_or_nothing_pair

fn check_all_or_nothing_pair<F: AcirField>(
    func: BlackBoxFunc,
    kind: &str,
    first: FunctionInput<F>,
    second: FunctionInput<F>,
) -> Result<(), OpcodeResolutionError<F>>

Checks that the two halves of an input pair are either both witnesses or both constants, erroring otherwise. kind names the pair in the error message, e.g. “Coordinates” for a point’s (x, y) or “Scalar limbs” for a scalar’s (lo, hi).