{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"\"len\""}]}
        "len" => (0, Some(1)),
        "index" => (0, Some(1)),
        other => unreachable!("unknown MVEs should be rejected earlier (got `{other}`)"),