From fdb6f212d0494c60d5ccceade6627cc2ec0cef2f Mon Sep 17 00:00:00 2001
From: evykassirer <evy@zulip.com>
Date: Thu, 11 Jan 2024 12:16:54 -0800
Subject: [PATCH] Remove User type from types.ts.

---
 web/src/types.ts       | 4 ----
 web/src/user_groups.ts | 3 ++-
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/web/src/types.ts b/web/src/types.ts
index bc1bb2a706..fee9048a39 100644
--- a/web/src/types.ts
+++ b/web/src/types.ts
@@ -53,10 +53,6 @@ export type UpdateMessageEvent = {
     topic?: string;
 };
 
-// TODO/typescript: Move the User and Stream placeholder
-// types to their appropriate modules.
-export type User = Record<string, never>;
-
 export type GroupPermissionSetting = {
     require_system_group: boolean;
     allow_internet_group: boolean;
diff --git a/web/src/user_groups.ts b/web/src/user_groups.ts
index fb450769d9..5d6372c59b 100644
--- a/web/src/user_groups.ts
+++ b/web/src/user_groups.ts
@@ -2,8 +2,9 @@ import * as blueslip from "./blueslip";
 import {FoldDict} from "./fold_dict";
 import * as group_permission_settings from "./group_permission_settings";
 import {page_params} from "./page_params";
+import type {User} from "./people";
 import * as settings_config from "./settings_config";
-import type {User, UserGroupUpdateEvent} from "./types";
+import type {UserGroupUpdateEvent} from "./types";
 
 export type UserGroup = {
     description: string;