strict typechecking

Signed-off-by: William Woodruff <william@yossarian.net>

Library/Homebrew/dev-cmd/verify.rb

@@ -1,4 +1,4 @@
-# typed: true
+# typed: strict
 # frozen_string_literal: true
 
 require "abstract_command"

Library/Homebrew/sorbet/rbi/dsl/homebrew/dev_cmd/verify_cmd.rbi

@@ -0,0 +1,37 @@
+# typed: true
+
+# DO NOT EDIT MANUALLY
+# This is an autogenerated file for dynamic methods in `Homebrew::DevCmd::VerifyCmd`.
+# Please instead update this file by running `bin/tapioca dsl Homebrew::DevCmd::VerifyCmd`.
+
+
+class Homebrew::DevCmd::VerifyCmd
+  sig { returns(Homebrew::DevCmd::VerifyCmd::Args) }
+  def args; end
+end
+
+class Homebrew::DevCmd::VerifyCmd::Args < Homebrew::CLI::Args
+  sig { returns(T.nilable(String)) }
+  def arch; end
+
+  sig { returns(T.nilable(String)) }
+  def bottle_tag; end
+
+  sig { returns(T::Boolean) }
+  def deps?; end
+
+  sig { returns(T::Boolean) }
+  def f?; end
+
+  sig { returns(T::Boolean) }
+  def force?; end
+
+  sig { returns(T::Boolean) }
+  def j?; end
+
+  sig { returns(T::Boolean) }
+  def json?; end
+
+  sig { returns(T.nilable(String)) }
+  def os; end
+end