diff --git a/typescript_test/typesTestUtils.ts b/typescript_test/typesTestUtils.ts
index 884733d20..f0ca45a20 100644
--- a/typescript_test/typesTestUtils.ts
+++ b/typescript_test/typesTestUtils.ts
@@ -25,5 +25,5 @@ export type IsEqual<A, B> = (<G>() => G extends A ? 1 : 2) extends <
   : false
 
 export function expectExactType<T>(t: T) {
-  return <U extends Equals<T, U>>(u: U) => {}
+  return <U extends T>(u: U & Equals<T, U>) => {}
 }