{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"(adt_did,"}]}
                (adt_did, tcx.predicates_of(adt_did).instantiate(tcx, args))
            AggregateKind::Adt(adt_did, _, args, _, _) => {
            }