{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"if"}]}
                if index >= input_len {
                // Bounds are not checked by typeck so we have to do it ourselves.
                    throw_ub_format!(