Skip to main content

check_pattern_bounds

Function check_pattern_bounds 

Source
fn check_pattern_bounds(pattern: &MatchRecognizePattern) -> Result<()>
Expand description

Per-node bound checks: PERMUTE arity, min <= max, and each bound within MAX_QUANTIFIER_BOUND.