contract.cr

class Foo
  invariant( some_other_test ) # Run at entry of every contract
  
  # First argument run at function start, second argument run at function end
  contract baz == true, @thing.nil? == false,
  def bar(val)
    @thing = val.do_thing
  end
end