(idx: usize, chars: &[char], caps: &Caps, out: &mut String)
| 170 | } |
| 171 | |
| 172 | fn push_group(idx: usize, chars: &[char], caps: &Caps, out: &mut String) { |
| 173 | if let Some((s, e)) = caps.get(idx).copied().flatten() { |
| 174 | for ch in &chars[s..e] { out.push(*ch); } |
| 175 | } |
| 176 | } |
| 177 | |
| 178 | /* Signals that backtracking degraded, so the author can rewrite the pattern. */ |
| 179 | fn too_complex() -> ReError { |