# Type checking files:

..

No type error detected. 🫖

# Type checking files:

F.

bad.rb:2:10: [error] Cannot allow method body have type `::String` because declared as type `::Integer`
│   ::String <: ::Integer
│     ::Object <: ::Integer
│       ::BasicObject <: ::Integer
│
│ Diagnostic ID: Ruby::MethodBodyTypeMismatch
│
└  def self.total(tasks)
            ~~~~~

Detected 1 problem from 1 file

PASS 25: typed collection/block, rejected return type, runtime unchecked input
