{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"DerefPattern(_)"}]}
            DerefPattern(_) => format!("deref!({})", print(&pat.fields[0])),
            }
            Slice(slice) => {