diff --git a/deno/lib/__tests__/record.test.ts b/deno/lib/__tests__/record.test.ts
index 311f805a7..734687eca 100644
--- a/deno/lib/__tests__/record.test.ts
+++ b/deno/lib/__tests__/record.test.ts
@@ -17,6 +17,20 @@ const recordWithLiteralKeys = z.record(
 );
 type recordWithLiteralKeys = z.infer<typeof recordWithLiteralKeys>;
 
+const StringBrand = z.string().brand("StringBrand");
+type StringBrand = z.infer<typeof StringBrand>;
+const NumberBrand = z.number().brand("NumberBrand");
+type NumberBrand = z.infer<typeof NumberBrand>;
+const SymbolBrand = z.symbol().brand("SymbolBrand");
+type SymbolBrand = z.infer<typeof SymbolBrand>;
+
+const recordWithBrandedStringKeys = z.record(StringBrand, z.number());
+type recordWithBrandedStringKeys = z.infer<typeof recordWithBrandedStringKeys>;
+const recordWithBrandedNumberKeys = z.record(NumberBrand, z.number());
+type recordWithBrandedNumberKeys = z.infer<typeof recordWithBrandedNumberKeys>;
+const recordWithBrandedSymbolKeys = z.record(SymbolBrand, z.number());
+type recordWithBrandedSymbolKeys = z.infer<typeof recordWithBrandedSymbolKeys>;
+
 test("type inference", () => {
   util.assertEqual<booleanRecord, Record<string, boolean>>(true);
 
@@ -29,6 +43,16 @@ test("type inference", () => {
     recordWithLiteralKeys,
     Partial<Record<"Tuna" | "Salmon", string>>
   >(true);
+
+  util.assertEqual<recordWithBrandedStringKeys, Record<StringBrand, number>>(
+    true
+  );
+  util.assertEqual<recordWithBrandedNumberKeys, Record<NumberBrand, number>>(
+    true
+  );
+  util.assertEqual<recordWithBrandedSymbolKeys, Record<SymbolBrand, number>>(
+    true
+  );
 });
 
 test("methods", () => {
diff --git a/deno/lib/types.ts b/deno/lib/types.ts
index bb2f08519..d0fc3a103 100644
--- a/deno/lib/types.ts
+++ b/deno/lib/types.ts
@@ -3531,7 +3531,11 @@ export type RecordType<K extends string | number | symbol, V> = [
   ? Record<K, V>
   : [symbol] extends [K]
   ? Record<K, V>
-  : [BRAND<string | number | symbol>] extends [K]
+  : [string & AnyBrand] extends [K]
+  ? Record<K, V>
+  : [number & AnyBrand] extends [K]
+  ? Record<K, V>
+  : [symbol & AnyBrand] extends [K]
   ? Record<K, V>
   : Partial<Record<K, V>>;
 export class ZodRecord<
@@ -4904,6 +4908,9 @@ export const BRAND: unique symbol = Symbol("zod_brand");
 export type BRAND<T extends string | number | symbol> = {
   [BRAND]: { [k in T]: true };
 };
+export type AnyBrand = {
+  [BRAND]: any;
+};
 
 export class ZodBranded<
   T extends ZodTypeAny,
diff --git a/src/__tests__/record.test.ts b/src/__tests__/record.test.ts
index 86f60b267..14254bbef 100644
--- a/src/__tests__/record.test.ts
+++ b/src/__tests__/record.test.ts
@@ -16,6 +16,20 @@ const recordWithLiteralKeys = z.record(
 );
 type recordWithLiteralKeys = z.infer<typeof recordWithLiteralKeys>;
 
+const StringBrand = z.string().brand("StringBrand");
+type StringBrand = z.infer<typeof StringBrand>;
+const NumberBrand = z.number().brand("NumberBrand");
+type NumberBrand = z.infer<typeof NumberBrand>;
+const SymbolBrand = z.symbol().brand("SymbolBrand");
+type SymbolBrand = z.infer<typeof SymbolBrand>;
+
+const recordWithBrandedStringKeys = z.record(StringBrand, z.number());
+type recordWithBrandedStringKeys = z.infer<typeof recordWithBrandedStringKeys>;
+const recordWithBrandedNumberKeys = z.record(NumberBrand, z.number());
+type recordWithBrandedNumberKeys = z.infer<typeof recordWithBrandedNumberKeys>;
+const recordWithBrandedSymbolKeys = z.record(SymbolBrand, z.number());
+type recordWithBrandedSymbolKeys = z.infer<typeof recordWithBrandedSymbolKeys>;
+
 test("type inference", () => {
   util.assertEqual<booleanRecord, Record<string, boolean>>(true);
 
@@ -28,6 +42,16 @@ test("type inference", () => {
     recordWithLiteralKeys,
     Partial<Record<"Tuna" | "Salmon", string>>
   >(true);
+
+  util.assertEqual<recordWithBrandedStringKeys, Record<StringBrand, number>>(
+    true
+  );
+  util.assertEqual<recordWithBrandedNumberKeys, Record<NumberBrand, number>>(
+    true
+  );
+  util.assertEqual<recordWithBrandedSymbolKeys, Record<SymbolBrand, number>>(
+    true
+  );
 });
 
 test("methods", () => {
diff --git a/src/types.ts b/src/types.ts
index 5aa30b900..999bfae48 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -3531,7 +3531,11 @@ export type RecordType<K extends string | number | symbol, V> = [
   ? Record<K, V>
   : [symbol] extends [K]
   ? Record<K, V>
-  : [BRAND<string | number | symbol>] extends [K]
+  : [string & AnyBrand] extends [K]
+  ? Record<K, V>
+  : [number & AnyBrand] extends [K]
+  ? Record<K, V>
+  : [symbol & AnyBrand] extends [K]
   ? Record<K, V>
   : Partial<Record<K, V>>;
 export class ZodRecord<
@@ -4904,6 +4908,9 @@ export const BRAND: unique symbol = Symbol("zod_brand");
 export type BRAND<T extends string | number | symbol> = {
   [BRAND]: { [k in T]: true };
 };
+export type AnyBrand = {
+  [BRAND]: any;
+};
 
 export class ZodBranded<
   T extends ZodTypeAny,