Support an unless guard in a pattern

lib/typeprof/core/ast.rb

@@ -362,7 +362,7 @@ def self.create_pattern_node(raw_node, lenv)
 
       when :capture_pattern_node then CapturePatternNode.new(raw_node, lenv)
 
-      when :if_node then IfPatternNode.new(raw_node, lenv)
+      when :if_node, :unless_node then IfPatternNode.new(raw_node, lenv)
 
       when :pinned_variable_node then PinnedPatternNode.new(raw_node, lenv)
       when :pinned_expression_node then PinnedPatternNode.new(raw_node, lenv)

lib/typeprof/core/ast/pattern.rb

@@ -144,7 +144,8 @@ def initialize(raw_node, lenv)
         raise if raw_node.statements.type != :statements_node
         raise if raw_node.statements.body.size != 1
         @body = AST.create_pattern_node(raw_node.statements.body[0], lenv)
-        raise if raw_node.subsequent
+        raise if raw_node.type == :if_node && raw_node.subsequent
+        raise if raw_node.type == :unless_node && raw_node.else_clause
       end
 
       attr_reader :cond, :body

scenario/patterns/unless_pat.rb

@@ -0,0 +1,17 @@
+## update: test.rb
+def cond?(x)
+  x
+end
+
+def check(x)
+  case x
+  in 1 unless cond?(:ok)
+    :ok
+  end
+end
+
+## assert
+class Object
+  def cond?: (:ok) -> :ok
+  def check: (untyped) -> :ok
+end