{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"Pat::Box"}]}
            Pat::Box { inner } => match self.resolve_boxed_box() {
            }
                Some(box_adt) => {