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>