diff --git a/tests/cases/conformance/types/nonPrimitive/nonPrimitiveAndTypeVariables.ts b/tests/cases/conformance/types/nonPrimitive/nonPrimitiveAndTypeVariables.ts
index a5b0c2e7638..a0eeec2cdd7 100644
--- a/tests/cases/conformance/types/nonPrimitive/nonPrimitiveAndTypeVariables.ts
+++ b/tests/cases/conformance/types/nonPrimitive/nonPrimitiveAndTypeVariables.ts
@@ -5,8 +5,8 @@
 type A<T, V> = { [P in keyof T]: T[P] extends V ? 1 : 0; };
 type B<T, V> = { [P in keyof T]: T[P] extends V | object ? 1 : 0; };
 
-type a = A<{ a: 0 | 1 }, 0>; // { a: 0; }
-type b = B<{ a: 0 | 1 }, 0>; // { a: 0; }
+let a: A<{ a: 0 | 1 }, 0> = { a: 0 };
+let b: B<{ a: 0 | 1 }, 0> = { a: 0 };
 
 function foo<T, U>(x: T) {
     let a: object = x;  // Error