fn __pop_Variant5<'input>(
    __symbols: &mut Vec<(usize, __Symbol<'input>, usize)>
) -> (usize, Option<Vec<QuantifiedInlineBound>>, usize)