Migrate ChannelDeleteEvent to satisfies, part of #1577

2 files changed, 4 insertions, 4 deletions

diff --git a/src/api/routes/channels/#channel_id/index.ts b/src/api/routes/channels/#channel_id/index.ts

index ee750c39..d1404343 100644
--- a/src/api/routes/channels/#channel_id/index.ts
+++ b/src/api/routes/channels/#channel_id/index.ts
@@ -79,7 +79,7 @@ router.delete(
                     event: "CHANNEL_DELETE",
                     data: channel,
                     user_id: req.user_id,
-                } as ChannelDeleteEvent),
+                } satisfies ChannelDeleteEvent),
             ]);
         } else if (channel.type === ChannelType.GROUP_DM) {
             await Channel.removeRecipientFromChannel(channel, req.user_id);
@@ -122,7 +122,7 @@ router.delete(
                     event: "CHANNEL_DELETE",
                     data: channel,
                     channel_id,
-                } as ChannelDeleteEvent),
+                } satisfies ChannelDeleteEvent),
             ]);
         }
 
diff --git a/src/api/routes/users/#user_id/delete.ts b/src/api/routes/users/#user_id/delete.ts

index a0730cb7..44ff6ed5 100644
--- a/src/api/routes/users/#user_id/delete.ts
+++ b/src/api/routes/users/#user_id/delete.ts
@@ -73,7 +73,7 @@ router.post(
                 event: "CHANNEL_DELETE",
                 data: channel.toJSON(),
                 channel_id: channel.id,
-            } as ChannelDeleteEvent);
+            } satisfies ChannelDeleteEvent);
             await Recipient.delete({ channel_id: channel.id });
             await Channel.deleteChannel(channel);
         }
@@ -115,7 +115,7 @@ router.post(
                         event: "CHANNEL_DELETE",
                         data: channel.toJSON(),
                         channel_id: channel.id,
-                    } as ChannelDeleteEvent);
+                    } satisfies ChannelDeleteEvent);
                     await Channel.deleteChannel(channel);
                     console.log(`[Instance ban] Deleted empty group channel ${channel.id}`);
                 } else {