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