 45978435e7
			
		
	
	
		45978435e7
		
			
		
	
	
	
	
		
			
			- Previously I thought that comments were fine to discourage people from wasting their time trying to bump things that used `undef` that Sorbet didn't support. But RuboCop is better at this since it'll complain if the comments are unnecessary. - Suggested in https://github.com/Homebrew/brew/pull/18018#issuecomment-2283369501. - I've gone for a mixture of `rubocop:disable` for the files that can't be `typed: strict` (use of undef, required before everything else, etc) and `rubocop:todo` for everything else that should be tried to make strictly typed. There's no functional difference between the two as `rubocop:todo` is `rubocop:disable` with a different name. - And I entirely disabled the cop for the docs/ directory since `typed: strict` isn't going to gain us anything for some Markdown linting config files. - This means that now it's easier to track what needs to be done rather than relying on checklists of files in our big Sorbet issue: ```shell $ git grep 'typed: true # rubocop:todo Sorbet/StrictSigil' | wc -l 268 ``` - And this is confirmed working for new files: ```shell $ git status On branch use-rubocop-for-sorbet-strict-sigils Untracked files: (use "git add <file>..." to include in what will be committed) Library/Homebrew/bad.rb Library/Homebrew/good.rb nothing added to commit but untracked files present (use "git add" to track) $ brew style Offenses: bad.rb:1:1: C: Sorbet/StrictSigil: Sorbet sigil should be at least strict got true. ^^^^^^^^^^^^^ 1340 files inspected, 1 offense detected ```
		
			
				
	
	
		
			46 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Ruby
		
	
	
	
	
	
			
		
		
	
	
			46 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Ruby
		
	
	
	
	
	
| # typed: true # rubocop:todo Sorbet/StrictSigil
 | |
| # frozen_string_literal: true
 | |
| 
 | |
| module RuboCop
 | |
|   module Cop
 | |
|     module Homebrew
 | |
|       # Enforces the use of `collection.exclude?(obj)`
 | |
|       # over `!collection.include?(obj)`.
 | |
|       #
 | |
|       # NOTE: This cop is unsafe because false positives will occur for
 | |
|       #       receiver objects that do not have an `#exclude?` method (e.g. `IPAddr`).
 | |
|       #
 | |
|       # ### Example
 | |
|       #
 | |
|       # ```ruby
 | |
|       # # bad
 | |
|       # !array.include?(2)
 | |
|       # !hash.include?(:key)
 | |
|       #
 | |
|       # # good
 | |
|       # array.exclude?(2)
 | |
|       # hash.exclude?(:key)
 | |
|       # ```
 | |
|       class NegateInclude < Base
 | |
|         extend AutoCorrector
 | |
| 
 | |
|         MSG = "Use `.exclude?` and remove the negation part."
 | |
| 
 | |
|         RESTRICT_ON_SEND = [:!].freeze
 | |
| 
 | |
|         def_node_matcher :negate_include_call?, <<~PATTERN
 | |
|           (send (send $!nil? :include? $_) :!)
 | |
|         PATTERN
 | |
| 
 | |
|         def on_send(node)
 | |
|           return unless (receiver, obj = negate_include_call?(node))
 | |
| 
 | |
|           add_offense(node) do |corrector|
 | |
|             corrector.replace(node, "#{receiver.source}.exclude?(#{obj.source})")
 | |
|           end
 | |
|         end
 | |
|       end
 | |
|     end
 | |
|   end
 | |
| end
 |