{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"Some((adt,"}]}
                        Some((adt, subst)) if adt == box_adt => (
                    let (inner_ty, alloc_ty) = match expected.as_adt() {
                            subst.at(Interner, 0).assert_ty_ref(Interner).clone(),