False positive Performance/RedundantEqualityComparisonBlock when pattern depends on the enumerable's element

[movermeyer]

Steps to reproduce the problem

I have a piece of code that is trying to filter a list of key value pairs according to whether the key has a corresponding prefix in the allow list:

# frozen_string_literal: true

# These are path prefixes that we allow
# anything KVPs without a key that has one of these as a prefix will be removed
PATH_PREFIXES_ALLOW_LIST = [["a", "b", "c"], ["d", "e"]]

input = [
  [["a", "b", "c"], 1],
  [["x", "y", "z"], 2],
  [["d", "e", "f"], 3],
  [["d", "e", "g"], 4],
]

filtered = input.select { |key, _value| PATH_PREFIXES_ALLOW_LIST.any? { |path| path == key[0...path.size] } }

expected = [
  [["a", "b", "c"], 1],
  [["d", "e", "f"], 3],
  [["d", "e", "g"], 4],
]

puts(filtered == expected)

Actual behavior

This code works. However, RuboCop complains:

Inspecting 1 file
C

Offenses:

false_positive.rb:14:66: C: [Correctable] Performance/RedundantEqualityComparisonBlock: Use any?(key[0...path.size]) instead of block.
filtered = input.select { |key, _value| PATH_PREFIXES_ALLOW_LIST.any? { |path| path == key[0...path.size] } }
                                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1 file inspected, 1 offense detected, 1 offense auto-correctable

Note that making the suggested change would break the code:

• Without the reference to path, key[0...path.size] does not work.

i.e. the value of the pattern in any? to use depends on the length of the path being checked, so it cannot be passed in as suggested by the check???

Expected behavior

I would expect that RuboCop either doesn't complain, or suggests a fix that has the same behaviour as the existing code,

RuboCop version

$ bundle exec rubocop -V
1.18.3 (using Parser 3.0.2.0, rubocop-ast 1.8.0, running on ruby 2.7.1 x86_64-darwin19)
  - rubocop-performance 1.11.4