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