fn __action802<'input>(
    input: &'input str,
    __0: (usize, Vec<QuantifiedInlineBound>, usize)
) -> Vec<QuantifiedInlineBound>