From 20ce57e1b8e51a6a9c96a2c9ccb2ec7d7575ee5d Mon Sep 17 00:00:00 2001
From: Patrick Oscar Boykin <boykin@pobox.com>
Date: Tue, 26 Mar 2024 21:48:53 -1000
Subject: [PATCH] tighten type

---
 core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala b/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
index c6a1a4e2..58b86250 100644
--- a/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
+++ b/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
@@ -184,7 +184,7 @@ object Infer {
     ) extends TypeError
     case class KindExpectedType(
       tpe: Type,
-      kind: Kind,
+      kind: Kind.Cons,
       region: Region
     ) extends TypeError
     case class KindMismatch(