steep 0.52.1 → 0.52.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c373c6a4366397b2b014850a8993ce6d8a0c27bcdd8bc8c5135bb64b4132b162
-  data.tar.gz: '097245d5e3745ceb634a2f2bcd007cca0c549449c835b644feb62c23c3c6e3ed'
+  metadata.gz: 3c9d5eb873780b31a2431d2e6c4efdc558fbb3a4a42c08cbe2580bb191db5bc8
+  data.tar.gz: dee794e9cb098309b9875396ed1dc9904a4c6882aeadb27c83c26604ebcbc87d
 SHA512:
-  metadata.gz: eadc49c7c81bce14e4e4c5f9adbcb0411669cd1f78eb290029953e26ea3997d15a65db53329124812e841f3fbe486d30f25bbf89d7bce74d528692176250c795
-  data.tar.gz: 3257fa14e2888e68afd6266e1c1d28dc95b8ef7e1ec499393994f35cb715abfc133f005d0ce79962fc6642f7fdeb0b28c35fa0d3bb5687972ea1b31d0a9d6c38
+  metadata.gz: ba05f88c28a78414ffcd41744558bdea978b72621f422571cb1450b7b0d56fb77c2b65329064226863db2517d4769a6f54e7c47ce92eef59d97f0403bb9e9425
+  data.tar.gz: 6e260b48940214b7c0910bf2678c587b469e163e70265f197ef8fd17a1703a68fd9488c77c3d1f8254939c074281717593e49812875fb705615189cd3ec4cdf0

data/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 ## master
 
+## 0.52.2 (2022-05-02)
+
+* Handle class declaration with non-const super class ([\#546](https://github.com/soutaro/steep/pull/546))
+* Remove `#to_a` error message ([\#545](https://github.com/soutaro/steep/pull/545))
+* Add `#filter_map` shim ([\#544](https://github.com/soutaro/steep/pull/544))
+
 ## 0.52.1 (2022-04-25)
 
 * Better union type inference (it type checks `Array#filter_map` now!) ([\#531](https://github.com/soutaro/steep/pull/531))

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    steep (0.52.1)
+    steep (0.52.2)
       activesupport (>= 5.1)
       language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
@@ -24,7 +24,7 @@ PATH
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (7.0.2.3)
+    activesupport (7.0.2.4)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)

data/lib/steep/shims/filter_map.rb

@@ -0,0 +1,30 @@
+# Steep runs on Ruby 2.6 and it needs a shim of `filter_map`
+
+module Shims
+  module EnumerableFilterMap
+    def filter_map(&block)
+      if block
+        result = []
+
+        each do |element|
+          if value = yield(element)
+            result << value
+          end
+        end
+
+        result
+      else
+        enum_for :filter_map
+      end
+    end
+  end
+
+  unless Enumerable.method_defined?(:filter_map)
+    Enumerable.include EnumerableFilterMap
+
+    module ::Enumerable
+      alias filter_map filter_map
+    end
+  end
+end
+

data/lib/steep/type_construction.rb

@@ -1498,13 +1498,18 @@ module Steep
             end
 
             if super_node
-              _, constr, super_name = constr.synthesize_constant(super_node, super_node.children[0], super_node.children[1]) do
-                typing.add_error(
-                  Diagnostic::Ruby::UnknownConstant.new(node: super_node, name: super_node.children[1]).class!
-                )
-              end
-              if super_name
-                typing.source_index.add_reference(constant: super_name, ref: super_node)
+              if super_node.type == :const
+                _, constr, super_name = constr.synthesize_constant(super_node, super_node.children[0], super_node.children[1]) do
+                  typing.add_error(
+                    Diagnostic::Ruby::UnknownConstant.new(node: super_node, name: super_node.children[1]).class!
+                  )
+                end
+
+                if super_name
+                  typing.source_index.add_reference(constant: super_name, ref: super_node)
+                end
+              else
+                _, constr = synthesize(super_node, hint: nil, condition: false)
               end
             end
 
@@ -3981,6 +3986,11 @@ module Steep
     end
 
     def try_convert(type, method)
+      case type
+      when AST::Types::Any, AST::Types::Bot, AST::Types::Top, AST::Types::Var
+        return
+      end
+
       interface = checker.factory.interface(type, private: false)
       if entry = interface.methods[method]
         method_type = entry.method_types.find do |method_type|

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "0.52.1"
+  VERSION = "0.52.2"
 end

data/lib/steep.rb

@@ -21,6 +21,8 @@ require "terminal-table"
 
 require "rbs"
 
+require "steep/shims/filter_map"
+
 require "steep/equatable"
 require "steep/method_name"
 require "steep/ast/types/helper"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.52.1
+  version: 0.52.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-04-25 00:00:00.000000000 Z
+date: 2022-05-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -248,6 +248,7 @@ files:
 - lib/steep/services/signature_service.rb
 - lib/steep/services/stats_calculator.rb
 - lib/steep/services/type_check_service.rb
+- lib/steep/shims/filter_map.rb
 - lib/steep/signature/validator.rb
 - lib/steep/source.rb
 - lib/steep/subtyping/cache.rb