print size

soutaro · Feb 22, 2024 · 8e2674d · 8e2674d
1 parent 166ef8b
commit 8e2674d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/steep/subtyping/check.rb b/lib/steep/subtyping/check.rb
@@ -190,6 +190,7 @@ def check(relation, constraints:, self_type:, instance_type:, class_type:)
 
       def check_type(relation)
         Steep.logger.fatal { "assumptions.class = #{assumptions.class}" }
+        Steep.logger.fatal { "assumptions.size = #{assumptions.size}" }
         if assumptions.size > ABORT_LIMIT
           return Failure(relation, Result::Failure::LoopAbort.new)
         end