{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"ty::Adt(adt,"}]}
        ty::Adt(adt, args) => {
    match ty.kind() {
            let dont_elaborate = adt.is_union() || adt.is_manually_drop() || adt.has_dtor(tcx);