From 4cf9cd058dddbb7c877b4a5ff00fabb212dd4af0 Mon Sep 17 00:00:00 2001
From: Rory& <root@rory.gay>
Date: Sun, 8 Mar 2026 16:18:21 +0100
Subject: [PATCH] Migrate ChannelDeleteEvent to satisfies, part of #1577

---
 src/api/routes/channels/#channel_id/index.ts | 4 ++--
 src/api/routes/users/#user_id/delete.ts      | 4 ++--
 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 ee750c39b..d1404343b 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 a0730cb79..44ff6ed58 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 {