{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"|"}]}
            | Rvalue::NullaryOp(NullOp::UbChecks, _) => Ok(Ty::bool_ty()),
            Rvalue::NullaryOp(NullOp::ContractChecks, _)
            Rvalue::Aggregate(ak, ops) => match *ak {