From 318506460f4fffe4e0761eb923357d0605b72d13 Mon Sep 17 00:00:00 2001
From: Bo Anderson <mail@boanderson.me>
Date: Sat, 28 May 2022 04:10:42 +0100
Subject: [PATCH] dev-cmd/typecheck: don't generate RBI for
 sorbet-static-and-runtime

---
 Library/Homebrew/dev-cmd/typecheck.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Library/Homebrew/dev-cmd/typecheck.rb b/Library/Homebrew/dev-cmd/typecheck.rb
index f15d7657ca..b3a2c50267 100644
--- a/Library/Homebrew/dev-cmd/typecheck.rb
+++ b/Library/Homebrew/dev-cmd/typecheck.rb
@@ -54,6 +54,7 @@ module Homebrew
         excluded_gems = [
           "did_you_mean", # RBI file is already provided by Sorbet
           "webrobots", # RBI file is bugged
+          "sorbet-static-and-runtime", # Unnecessary RBI - remove this entry with Tapioca 0.8
         ]
         tapioca_args = ["--exclude", *excluded_gems]
         tapioca_args << "--all" if args.all?