From ca9aa48eb36dc57366141b81db5a78b2ab90bf5a Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
Date: Wed, 24 Jan 2024 14:29:56 -0800
Subject: [PATCH] Move `Equals` constraint into an intersection type.

---
 test/typeTestHelpers.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/typeTestHelpers.ts b/test/typeTestHelpers.ts
index 0bd07ab99..c205d324f 100644
--- a/test/typeTestHelpers.ts
+++ b/test/typeTestHelpers.ts
@@ -47,7 +47,7 @@ export declare const exactType: <T, U>(
 ) => IfEquals<T, U>
 
 export function expectExactType<T>(t: T) {
-  return <U extends Equals<T, U>>(u: U) => {}
+  return <U extends T>(u: U & Equals<T, U>) => {}
 }
 
 type EnsureUnknown<T> = IsUnknown<T, any, never>