[typer] Return a narrow-er type from makeType

2025-11-01 09:12:30 +00:00 · 2022-12-20 14:55:48 +00:00
parent 828fd81be3
commit 549f5a4af6
1 changed files with 1 additions and 1 deletions
@@ -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