Move Equals constraint into an intersection type.

DanielRosenwasser · web-flow · commit ca9aa48eb36d · 2024-01-24T14:29:56.000-08:00
diff --git 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>

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ export declare const exactType: <T, U>(`
`47`	`47`	`) => IfEquals<T, U>`
`48`	`48`
`49`	`49`	`export function expectExactType<T>(t: T) {`
`50`		`- return <U extends Equals<T, U>>(u: U) => {}`
	`50`	`+ return <U extends T>(u: U & Equals<T, U>) => {}`
`51`	`51`	`}`
`52`	`52`
`53`	`53`	`type EnsureUnknown<T> = IsUnknown<T, any, never>`