{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"TyKind::Adt(adt,"}]}
                TyKind::Adt(adt, subst) if is_box(db, adt.0) => {
                TyKind::Raw(_, inner) | TyKind::Ref(_, _, inner) => inner.clone(),
                    subst.at(Interner, 0).assert_ty_ref(Interner).clone()