From 549f5a4af633621ceaebc41cf8ff9dbfe57e6ba1 Mon Sep 17 00:00:00 2001
From: Sathya Gunasekaran <gsathya.ceg@gmail.com>
Date: Tue, 20 Dec 2022 14:55:48 +0000
Subject: [PATCH] [typer] Return a narrow-er type from makeType

---
 compiler/forget/src/HIR/HIR.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/forget/src/HIR/HIR.ts b/compiler/forget/src/HIR/HIR.ts
index ea3953fab6..4264e59128 100644
--- a/compiler/forget/src/HIR/HIR.ts
+++ b/compiler/forget/src/HIR/HIR.ts
@@ -467,7 +467,7 @@ export type PolyType = {
 };
 
 let typeCounter = 0;
-export function makeType(): Type {
+export function makeType(): TypeVar {
   return {
     kind: "Type",
     name: `t${typeCounter++}`, //TODO(gsn): Use a TypeID here