{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"tables.adt_def(adt_def.did()),"}]}
                tables.adt_def(adt_def.did()),
            ty::Adt(adt_def, generic_args) => TyKind::RigidTy(RigidTy::Adt(
                generic_args.stable(tables, cx),