Fix fcall include handling with context-aware meta parsing

Limit include/attr_* meta parsing to class/module top-level statements and add a regression scenario for fcall include.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: 2 people

lib/typeprof/core/ast.rb

@@ -18,8 +18,8 @@ def self.parse_rb(path, src)
       ProgramNode.new(raw_scope, lenv)
     end
 
-    #: (untyped, TypeProf::Core::LocalEnv, ?bool) -> TypeProf::Core::AST::Node
-    def self.create_node(raw_node, lenv, use_result = true)
+    #: (untyped, TypeProf::Core::LocalEnv, ?bool, ?bool) -> TypeProf::Core::AST::Node
+    def self.create_node(raw_node, lenv, use_result = true, allow_meta = false)
       while true
         case raw_node.type
         when :parentheses_node
@@ -233,8 +233,7 @@ def self.create_node(raw_node, lenv, use_result = true)
       when :forwarding_super_node then ForwardingSuperNode.new(raw_node, lenv)
       when :yield_node then YieldNode.new(raw_node, lenv)
       when :call_node
-        if !raw_node.receiver
-          # TODO: handle them only when it is directly under class or module
+        if allow_meta && !raw_node.receiver && !lenv.cref.mid && [:class, :metaclass].include?(lenv.cref.scope_level)
           case raw_node.name
           when :include
             return IncludeMetaNode.new(raw_node, lenv)

lib/typeprof/core/ast/misc.rb

@@ -6,7 +6,7 @@ def initialize(raw_node, lenv, use_result)
         stmts = raw_node.body
         @stmts = stmts.map.with_index do |n, i|
           if n
-            AST.create_node(n, lenv, i == stmts.length - 1 ? use_result : false)
+            AST.create_node(n, lenv, i == stmts.length - 1 ? use_result : false, true)
           else
             last = code_range.last
             DummyNilNode.new(TypeProf::CodeRange.new(last, last), lenv)