Better constant typing

lib/steep/type_construction.rb

@@ -2731,6 +2731,14 @@ def synthesize_constant(node, parent_node, constant_name)
 
               return [type, constr, name]
             end
+          when AST::Types::Any
+            # Couldn't detect the type of the parent constant
+            # Skip reporting error for this node.
+            if node
+              _, constr = add_typing(node, type: parent_type)
+            end
+
+            return [parent_type, constr, nil]
           end
         end
 
@@ -2744,6 +2752,10 @@ def synthesize_constant(node, parent_node, constant_name)
           end
         end
 
+        if node
+          _, constr = add_typing(node, type: AST::Builtin.any_type)
+        end
+
         [AST::Builtin.any_type, constr, nil]
       end
     end

smoke/diagnostics/test_expectations.yml

@@ -557,16 +557,6 @@
     severity: ERROR
     message: 'Cannot find the declaration of constant: `FOO`'
     code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 4
-        character: 7
-      end:
-        line: 4
-        character: 10
-    severity: ERROR
-    message: 'Cannot find the declaration of constant: `BAR`'
-    code: Ruby::UnknownConstant
   - range:
       start:
         line: 6

test/type_construction_test.rb

@@ -7061,7 +7061,7 @@ def test_proc_with_block_annotation
 -> (n, &b) do
   # @type var n: Integer
   # @type var b: nil | ^(Integer) -> String
-  
+
   if b
     b[n]
   end
@@ -8169,7 +8169,7 @@ def cdr(list)
       list[1]
     end
   end
-end 
+end
 
 # @type var a: list[Integer]
 a = [1, [2, [3, nil]]]
@@ -8448,7 +8448,7 @@ def foo(callback)
     if callback.is_a?(Proc)
       callback = callback[]
     end
-    
+