tighten type

johnynek · Mar 27, 2024 · 20ce57e · 20ce57e
1 parent 413e264
commit 20ce57e
Showing 1 changed file with 1 addition and 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
@@ -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(