{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"//"}]}
            // The slow path: Just decode to `char`.
        } else if byte >= 127 {
            let c = src[i..].chars().next().unwrap();