rubocop-sorbet 0.7.0 → 0.7.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 87c7e5f3cd38dc5528234c83895115c4f0fe10010c041c0c914f73cf92f289f4
-  data.tar.gz: f991837c8cce7938ae4f0043b2c10a98b9130bd01f0d2b95f62a967e03337fab
+  metadata.gz: c0d4456bcb92b2f40f1208842fce6a102f6ce2ba88ff491840d77a3001784677
+  data.tar.gz: 5e389a2c6c772f68aaf95555da670732ac70a9c5262be18c0418e0d787feb5de
 SHA512:
-  metadata.gz: 71581073a6caba33b050d643815d98fdeae36d17eedbbcab985b9b467c9ccde100f153c58970ac3fb06f03c7834170fab65276f499bcf5e398b8dfdcde0ae5f7
-  data.tar.gz: 66ab517902652d5921967544c7c81d89b758886d9c893b2ed60d0e32a4826fc8391c6e91c6c0701e17c916a0a6535390fead92f740cc367e34530865cc4e4122
+  metadata.gz: c2cb4129f91d6c52aa3affe2728a9c049635ce9ccefdcaa86520bbf0a1d25b7160a3d253597329008661f4207bf953ec36058c3908874b6f9077da0742a9f15f
+  data.tar.gz: c4736a927b8f377f81bf7982e9a6d6fa4669b6ebc7dea5c60bba7a8e54adc843f096c8bfe6a0eea7fc47e34cc4374c4675495936d5c9b1289a17b2d226c44375

data/.github/workflows/ci.yml

@@ -11,7 +11,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ruby: [ '2.5', '2.6', '2.7', '3.0', '3.1', '3.2' ]
+        ruby: [ '2.7', '3.0', '3.1', '3.2' ]
     name: Test Ruby ${{ matrix.ruby }}
     steps:
       - uses: actions/checkout@v2

data/.rubocop.yml

@@ -3,11 +3,22 @@
 inherit_gem:
   rubocop-shopify: rubocop.yml
 
+require:
+  - rubocop/cop/internal_affairs
+
 AllCops:
-  TargetRubyVersion: 2.5
+  TargetRubyVersion: 2.7
   Exclude:
     - vendor/**/*
+  NewCops: disable
+  SuggestExtensions: false
+
+InternalAffairs:
+  Enabled: true
 
 Naming/FileName:
   Exclude:
   - lib/rubocop-sorbet.rb
+
+Layout/LineLength:
+  IgnoreCopDirectives: true

data/.yardopts

@@ -0,0 +1 @@
+--tag safety:"Cop Safety Information"

data/Gemfile

@@ -1,4 +1,5 @@
 # frozen_string_literal: true
+
 source "https://rubygems.org"
 
 # Specify your gem's dependencies in rubocop-sorbet.gemspec

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    rubocop-sorbet (0.7.0)
+    rubocop-sorbet (0.7.1)
       rubocop (>= 0.90.0)
 
 GEM
@@ -10,13 +10,17 @@ GEM
     ast (2.4.2)
     byebug (11.1.3)
     diff-lcs (1.3)
-    parallel (1.21.0)
-    parser (3.0.1.1)
+    json (2.6.3)
+    language_server-protocol (3.17.0.3)
+    parallel (1.23.0)
+    parser (3.2.2.3)
       ast (~> 2.4.1)
+      racc
+    racc (1.7.1)
     rainbow (3.1.1)
     rake (13.0.1)
-    regexp_parser (2.2.0)
-    rexml (3.2.5)
+    regexp_parser (2.8.1)
+    rexml (3.2.6)
     rspec (3.8.0)
       rspec-core (~> 3.8.0)
       rspec-expectations (~> 3.8.0)
@@ -30,21 +34,23 @@ GEM
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.8.0)
     rspec-support (3.8.2)
-    rubocop (1.24.1)
+    rubocop (1.55.1)
+      json (~> 2.3)
+      language_server-protocol (>= 3.17.0)
       parallel (~> 1.10)
-      parser (>= 3.0.0.0)
+      parser (>= 3.2.2.3)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 1.8, < 3.0)
-      rexml
-      rubocop-ast (>= 1.15.1, < 2.0)
+      rexml (>= 3.2.5, < 4.0)
+      rubocop-ast (>= 1.28.1, < 2.0)
       ruby-progressbar (~> 1.7)
-      unicode-display_width (>= 1.4.0, < 3.0)
-    rubocop-ast (1.15.1)
-      parser (>= 3.0.1.1)
-    rubocop-shopify (2.1.0)
-      rubocop (~> 1.13)
-    ruby-progressbar (1.11.0)
-    unicode-display_width (2.1.0)
+      unicode-display_width (>= 2.4.0, < 3.0)
+    rubocop-ast (1.29.0)
+      parser (>= 3.2.1.0)
+    rubocop-shopify (2.14.0)
+      rubocop (~> 1.51)
+    ruby-progressbar (1.13.0)
+    unicode-display_width (2.4.2)
     unparser (0.6.0)
       diff-lcs (~> 1.3)
       parser (>= 3.0.0)
@@ -63,4 +69,4 @@ DEPENDENCIES
   yard (~> 0.9)
 
 BUNDLED WITH
-   2.2.16
+   2.4.18

data/README.md

@@ -98,7 +98,7 @@ Bug reports and pull requests are welcome on GitHub at https://github.com/Shopif
 To contribute a new cop, please use the supplied generator like this:
 
 ```sh
-bundle exec rake new_cop[Sorbet/NewCopName]
+bundle exec rake "new_cop[Sorbet/NewCopName]"
 ```
 
 which will create a skeleton cop, a skeleton spec, an entry in the default config file and will require the new cop so that it is properly exported from the gem.

data/Rakefile

@@ -18,7 +18,7 @@ task :new_cop, [:cop] do |_task, args|
   require "rubocop"
 
   cop_name = args.fetch(:cop) do
-    warn("usage: bundle exec rake new_cop[Department/Name]")
+    warn('usage: bundle exec rake "new_cop[Department/Name]"')
     exit!
   end
 

data/bin/rspec

@@ -9,8 +9,10 @@
 #
 
 require "pathname"
-ENV["BUNDLE_GEMFILE"] ||= File.expand_path("../../Gemfile",
-  Pathname.new(__FILE__).realpath)
+ENV["BUNDLE_GEMFILE"] ||= File.expand_path(
+  "../../Gemfile",
+  Pathname.new(__FILE__).realpath,
+)
 
 bundle_binstub = File.expand_path("../bundle", __FILE__)
 

data/bin/rubocop

@@ -9,8 +9,10 @@
 #
 
 require "pathname"
-ENV["BUNDLE_GEMFILE"] ||= File.expand_path("../../Gemfile",
-  Pathname.new(__FILE__).realpath)
+ENV["BUNDLE_GEMFILE"] ||= File.expand_path(
+  "../../Gemfile",
+  Pathname.new(__FILE__).realpath,
+)
 
 bundle_binstub = File.expand_path("../bundle", __FILE__)
 

data/config/default.yml

@@ -120,7 +120,8 @@ Sorbet/HasSigil:
   Description: 'Makes the Sorbet typed sigil mandatory in all files.'
   Enabled: false
   SuggestedStrictness: "false"
-  MinimumStrictness: "false"
+  MinimumStrictness: nil
+  ExactStrictness: nil
   VersionAdded: 0.3.3
   Include:
   - "**/*.{rb,rbi,rake,ru}"
@@ -141,6 +142,13 @@ Sorbet/IgnoreSigil:
   - db/**/*.rb
   - script/**/*
 
+Sorbet/ImplicitConversionMethod:
+  Description: >-
+    This cop disallows declaring implicit conversion methods, as sorbet does
+    not support implicit conversion.
+  Enabled: false
+  VersionAdded: '<<next>>'
+
 Sorbet/KeywordArgumentOrdering:
   Description: >-
                   Enforces a compatible keyword arguments with Sorbet.
@@ -151,6 +159,18 @@ Sorbet/KeywordArgumentOrdering:
   Enabled: true
   VersionAdded: 0.2.0
 
+Sorbet/ObsoleteStrictMemoization:
+  Description: >-
+    This cop checks for the obsolete pattern for initializing instance variables that was required for older Sorbet
+    versions in `#typed: strict` files.
+
+    It's no longer required, as of Sorbet 0.5.10210
+    See https://sorbet.org/docs/type-assertions#put-type-assertions-behind-memoization
+  Enabled: true
+  VersionAdded: '0.7.1'
+  Safe: true
+  SafeAutoCorrect: true
+
 Sorbet/OneAncestorPerLine:
   Description: 'Enforces one ancestor per call to requires_ancestor'
   Enabled: false
@@ -235,7 +255,8 @@ Sorbet/ValidSigil:
   Enabled: true
   RequireSigilOnAllFiles: false
   SuggestedStrictness: "false"
-  MinimumStrictness: "false"
+  MinimumStrictness: nil
+  ExactStrictness: nil
   VersionAdded: 0.3.3
   Include:
   - "**/*.{rb,rbi,rake,ru}"

data/lib/rubocop/cop/sorbet/binding_constant_without_type_alias.rb

@@ -0,0 +1,105 @@
+# frozen_string_literal: true
+
+require "rubocop"
+
+module RuboCop
+  module Cop
+    module Sorbet
+      # Disallows binding the return value of `T.any`, `T.all`, `T.enum`
+      # to a constant directly. To bind the value, one must use `T.type_alias`.
+      #
+      # @example
+      #
+      #   # bad
+      #   FooOrBar = T.any(Foo, Bar)
+      #
+      #   # good
+      #   FooOrBar = T.type_alias { T.any(Foo, Bar) }
+      class BindingConstantWithoutTypeAlias < RuboCop::Cop::Base
+        extend AutoCorrector
+
+        MSG = "It looks like you're trying to bind a type to a constant. " \
+          "To do this, you must alias the type using `T.type_alias`."
+        WITHOUT_BLOCK_MSG = "It looks like you're using the old `T.type_alias` syntax. " \
+          "`T.type_alias` now expects a block." \
+          'Run Sorbet with the options "--autocorrect --error-white-list=5043" ' \
+          "to automatically upgrade to the new syntax."
+
+        # @!method type_alias_without_block(node)
+        def_node_matcher :type_alias_without_block, <<~PATTERN
+          (send
+            (const {nil? cbase} :T)
+            :type_alias
+            $_
+          )
+        PATTERN
+
+        # @!method type_alias_with_block?(node)
+        def_node_matcher :type_alias_with_block?, <<~PATTERN
+          (block
+            (send
+              (const {nil? cbase} :T)
+            :type_alias)
+            ...
+          )
+        PATTERN
+
+        # @!method requires_type_alias?(node)
+        def_node_matcher :requires_type_alias?, <<~PATTERN
+          (send
+            (const {nil? cbase} :T)
+            {
+              :all
+              :any
+              :class_of
+              :nilable
+              :noreturn
+              :proc
+              :self_type
+              :untyped
+            }
+            ...
+          )
+        PATTERN
+
+        def on_casgn(node)
+          expression = node.expression
+          return if expression.nil? # multiple assignment
+
+          type_alias_without_block(expression) do |type|
+            return add_offense(expression, message: WITHOUT_BLOCK_MSG) do |corrector|
+              corrector.replace(expression, "T.type_alias { #{type.source} }")
+            end
+          end
+
+          return if type_alias_with_block?(expression)
+
+          requires_type_alias?(send_leaf(expression)) do
+            return add_offense(expression) do |corrector|
+              corrector.replace(expression, "T.type_alias { #{expression.source} }")
+            end
+          end
+        end
+
+        private
+
+        # Given nested send nodes, returns the leaf with explicit receiver.
+        #
+        # i.e. in Ruby
+        #
+        #     a.b.c.d.e.f
+        #     ^^^
+        #
+        # i.e. in AST
+        #
+        #     (send (send (send (send (send (send nil :a) :b) :c) :d) :e) :f)
+        #                             ^^^^^^^^^^^^^^^^^^^^^^^
+        #
+        def send_leaf(node)
+          node = node.receiver while node&.receiver&.send_type?
+          node
+        end
+      end
+    end
+  end
+end

data/lib/rubocop/cop/sorbet/callback_conditionals_binding.rb

@@ -3,7 +3,7 @@
 module RuboCop
   module Cop
     module Sorbet
-      # This cop ensures that callback conditionals are bound to the right type
+      # Ensures that callback conditionals are bound to the right type
       # so that they are type checked properly.
       #
       # Auto-correction is unsafe because other libraries define similar style callbacks as Rails, but don't always need
@@ -32,16 +32,44 @@ module RuboCop
       #       true
       #     end
       #   end
-      class CallbackConditionalsBinding < RuboCop::Cop::Cop
+      class CallbackConditionalsBinding < RuboCop::Cop::Cop # rubocop:todo InternalAffairs/InheritDeprecatedCopClass
         CALLBACKS = [
-          :validate, :validates, :validates_with, :before_validation, :around_validation, :before_create,
-          :before_save, :before_destroy, :before_update, :after_create, :after_save, :after_destroy,
-          :after_update, :after_touch, :after_initialize, :after_find, :around_create, :around_save,
-          :around_destroy, :around_update, :before_commit, :after_commit, :after_create_commit,
-          :after_destroy_commit, :after_rollback, :after_save_commit, :after_update_commit,
-          :before_action, :prepend_before_action, :append_before_action, :around_action,
-          :prepend_around_action, :append_around_action, :after_action, :prepend_after_action,
-          :append_after_action
+          :validate,
+          :validates,
+          :validates_with,
+          :before_validation,
+          :around_validation,
+          :before_create,
+          :before_save,
+          :before_destroy,
+          :before_update,
+          :after_create,
+          :after_save,
+          :after_destroy,
+          :after_update,
+          :after_touch,
+          :after_initialize,
+          :after_find,
+          :around_create,
+          :around_save,
+          :around_destroy,
+          :around_update,
+          :before_commit,
+          :after_commit,
+          :after_create_commit,
+          :after_destroy_commit,
+          :after_rollback,
+          :after_save_commit,
+          :after_update_commit,
+          :before_action,
+          :prepend_before_action,
+          :append_before_action,
+          :around_action,
+          :prepend_around_action,
+          :append_around_action,
+          :after_action,
+          :prepend_after_action,
+          :append_after_action,
         ].freeze
 
         def autocorrect(node)
@@ -132,7 +160,7 @@ module RuboCop
           unless block.source.include?("T.bind(self")
             add_offense(
               node,
-              message: "Callback conditionals should be bound to the right type. Use T.bind(self, #{expected_class})"
+              message: "Callback conditionals should be bound to the right type. Use T.bind(self, #{expected_class})",
             )
           end
         end

data/lib/rubocop/cop/sorbet/constants_from_strings.rb

@@ -5,7 +5,7 @@ require "rubocop"
 module RuboCop
   module Cop
     module Sorbet
-      # This cop disallows the calls that are used to get constants fom Strings
+      # Disallows the calls that are used to get constants fom Strings
       # such as +constantize+, +const_get+, and +constants+.
       #
       # The goal of this cop is to make the code easier to statically analyze,
@@ -33,18 +33,20 @@ module RuboCop
       #
       #   # good
       #   { "User" => User }.fetch(class_name)
-      class ConstantsFromStrings < ::RuboCop::Cop::Cop
+      class ConstantsFromStrings < ::RuboCop::Cop::Cop # rubocop:todo InternalAffairs/InheritDeprecatedCopClass
+        # @!method constant_from_string?(node)
         def_node_matcher(:constant_from_string?, <<-PATTERN)
           (send _ {:constantize :constants :const_get} ...)
         PATTERN
 
         def on_send(node)
           return unless constant_from_string?(node)
+
           add_offense(
             node,
             location: :selector,
             message: "Don't use `#{node.method_name}`, it makes the code harder to understand, less editor-friendly, " \
-              "and impossible to analyze. Replace `#{node.method_name}` with a case/when or a hash."
+              "and impossible to analyze. Replace `#{node.method_name}` with a case/when or a hash.",
           )
         end
       end

data/lib/rubocop/cop/sorbet/forbid_include_const_literal.rb

@@ -3,34 +3,35 @@
 
 require "rubocop"
 
-# Correct `send` expressions in include statements by constant literals.
-#
-# Sorbet, the static checker, is not (yet) able to support constructs on the
-# following form:
-#
-# ```ruby
-# class MyClass
-#   include send_expr
-# end
-# ```
-#
-# Multiple occurences of this can be found in Shopify's code base like:
-#
-# ```ruby
-# include Rails.application.routes.url_helpers
-# ```
-# or
-# ```ruby
-# include Polaris::Engine.helpers
-# ```
 module RuboCop
   module Cop
     module Sorbet
-      class ForbidIncludeConstLiteral < RuboCop::Cop::Cop
+      # Correct `send` expressions in include statements by constant literals.
+      #
+      # Sorbet, the static checker, is not (yet) able to support constructs on the
+      # following form:
+      #
+      # ```ruby
+      # class MyClass
+      #   include send_expr
+      # end
+      # ```
+      #
+      # Multiple occurences of this can be found in Shopify's code base like:
+      #
+      # ```ruby
+      # include Rails.application.routes.url_helpers
+      # ```
+      # or
+      # ```ruby
+      # include Polaris::Engine.helpers
+      # ```
+      class ForbidIncludeConstLiteral < RuboCop::Cop::Cop # rubocop:todo InternalAffairs/InheritDeprecatedCopClass
         MSG = "Includes must only contain constant literals"
 
         attr_accessor :used_names
 
+        # @!method not_lit_const_include?(node)
         def_node_matcher :not_lit_const_include?, <<-PATTERN
           (send nil? {:include :extend :prepend}
             $_
@@ -46,18 +47,21 @@ module RuboCop
           return unless not_lit_const_include?(node) do |send_argument|
             ![:const, :self].include?(send_argument.type)
           end
+
           parent = node.parent
           return unless parent
+
           parent = parent.parent if [:begin, :block].include?(parent.type)
           return unless [:module, :class, :sclass].include?(parent.type)
+
           add_offense(node)
         end
 
         def autocorrect(node)
           lambda do |corrector|
             corrector.replace(
-              node.source_range,
-              "T.unsafe(self).#{node.source}"
+              node,
+              "T.unsafe(self).#{node.source}",
             )
           end
         end

data/lib/rubocop/cop/sorbet/forbid_superclass_const_literal.rb

@@ -3,41 +3,40 @@
 
 require "rubocop"
 
-# Correct superclass `send` expressions by constant literals.
-#
-# Sorbet, the static checker, is not (yet) able to support constructs on the
-# following form:
-#
-# ```ruby
-# class Foo < send_expr; end
-# ```
-#
-# Multiple occurences of this can be found in Shopify's code base like:
-#
-# ```ruby
-# class ShopScope < Component::TrustedIdScope[ShopIdentity::ShopId]
-# ```
-# or
-# ```ruby
-# class ApiClientEligibility < Struct.new(:api_client, :match_results, :shop)
-# ```
 module RuboCop
   module Cop
     module Sorbet
-      class ForbidSuperclassConstLiteral < RuboCop::Cop::Cop
+      # Correct superclass `send` expressions by constant literals.
+      #
+      # Sorbet, the static checker, is not (yet) able to support constructs on the
+      # following form:
+      #
+      # ```ruby
+      # class Foo < send_expr; end
+      # ```
+      #
+      # Multiple occurences of this can be found in Shopify's code base like:
+      #
+      # ```ruby
+      # class ShopScope < Component::TrustedIdScope[ShopIdentity::ShopId]
+      # ```
+      # or
+      # ```ruby
+      # class ApiClientEligibility < Struct.new(:api_client, :match_results, :shop)
+      # ```
+
+      class ForbidSuperclassConstLiteral < RuboCop::Cop::Base
         MSG = "Superclasses must only contain constant literals"
 
-        def_node_matcher :not_lit_const_superclass?, <<-PATTERN
-          (class
-            (const ...)
-            (send ...)
-            ...
-          )
+        # @!method dynamic_superclass?(node)
+        def_node_matcher :dynamic_superclass?, <<-PATTERN
+          (class (const ...) $(send ...) ...)
         PATTERN
 
         def on_class(node)
-          return unless not_lit_const_superclass?(node)
-          add_offense(node.child_nodes[1])
+          dynamic_superclass?(node) do |superclass|
+            add_offense(superclass)
+          end
         end
       end
     end

data/lib/rubocop/cop/sorbet/forbid_t_unsafe.rb

@@ -5,7 +5,7 @@ require "rubocop"
 module RuboCop
   module Cop
     module Sorbet
-      # This cop disallows using `T.unsafe` anywhere.
+      # Disallows using `T.unsafe` anywhere.
       #
       # @example
       #
@@ -14,11 +14,15 @@ module RuboCop
       #
       #   # good
       #   foo
-      class ForbidTUnsafe < RuboCop::Cop::Cop
+      class ForbidTUnsafe < RuboCop::Cop::Base
+        MSG = "Do not use `T.unsafe`."
+        RESTRICT_ON_SEND = [:unsafe].freeze
+
+        # @!method t_unsafe?(node)
         def_node_matcher(:t_unsafe?, "(send (const nil? :T) :unsafe _)")
 
         def on_send(node)
-          add_offense(node, message: "Do not use `T.unsafe`.") if t_unsafe?(node)
+          add_offense(node) if t_unsafe?(node)
         end
       end
     end

data/lib/rubocop/cop/sorbet/forbid_t_untyped.rb

@@ -5,7 +5,7 @@ require "rubocop"
 module RuboCop
   module Cop
     module Sorbet
-      # This cop disallows using `T.untyped` anywhere.
+      # Disallows using `T.untyped` anywhere.
       #
       # @example
       #
@@ -17,11 +17,15 @@ module RuboCop
       #   sig { params(my_argument: String).void }
       #   def foo(my_argument); end
       #
-      class ForbidTUntyped < RuboCop::Cop::Cop
+      class ForbidTUntyped < RuboCop::Cop::Base
+        MSG = "Do not use `T.untyped`."
+        RESTRICT_ON_SEND = [:untyped].freeze
+
+        # @!method t_untyped?(node)
         def_node_matcher(:t_untyped?, "(send (const nil? :T) :untyped)")
 
         def on_send(node)
-          add_offense(node, message: "Do not use `T.untyped`.") if t_untyped?(node)
+          add_offense(node) if t_untyped?(node)
         end
       end
     end