{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"other"}]}
                    other => panic!("Cannot adjust receiver type {other:?} to const ptr"),
                    }
                };