Support # typeprof:ignore:start / :end block form

For suppressing diagnostics across multiple lines, support a block
form bracketed by `# typeprof:ignore:start` and `# typeprof:ignore:end`
comments:

    # typeprof:ignore:start
    foo(1, 2)
    bar(1, 2)
    # typeprof:ignore:end

An unmatched `:start` extends to the end of the file. The keywords
follow Steep's `# steep:ignore:start`/`:end` convention.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: mame

lib/typeprof/core/ast.rb

@@ -22,14 +22,37 @@ def self.parse_rb(path, src)
 
     # Collect line ranges marked with `# typeprof:ignore` comments.
     # Each range is suppressed in ProgramNode#each_diagnostic.
-    IGNORE_RE = /\A#\s*typeprof:ignore\s*\z/
+    #
+    # Inline form (suppresses the line containing the comment):
+    #     foo(1, 2) # typeprof:ignore
+    #
+    # Block form (suppresses lines between :start and :end):
+    #     # typeprof:ignore:start
+    #     foo(1, 2)
+    #     # typeprof:ignore:end
+    #
+    # An unmatched `:start` extends to the end of the file.
+    IGNORE_RE       = /\A#\s*typeprof:ignore\s*\z/
+    IGNORE_START_RE = /\A#\s*typeprof:ignore:start\s*\z/
+    IGNORE_END_RE   = /\A#\s*typeprof:ignore:end\s*\z/
     def self.collect_ignore_ranges(prism_result)
       ranges = []
+      start_line = nil
       prism_result.comments.each do |c|
-        next unless c.location.slice.match?(IGNORE_RE)
+        text = c.location.slice
         line = c.location.start_line
-        ranges << (line..line)
+        if text.match?(IGNORE_START_RE)
+          start_line ||= line
+        elsif text.match?(IGNORE_END_RE)
+          if start_line
+            ranges << (start_line..line)
+            start_line = nil
+          end
+        elsif text.match?(IGNORE_RE)
+          ranges << (line..line)
+        end
       end
+      ranges << (start_line..Float::INFINITY) if start_line
       ranges
     end
 

test/cli_test.rb

@@ -58,6 +58,17 @@ def check: -> :ok
       END
     end
 
+    def test_e2e_ignore_directive_block
+      assert_equal(<<~END, test_run("ignore_directive_block", ["--show-error", "."]))
+        # TypeProf #{ TypeProf::VERSION }
+
+        # ./ignore_directive_block.rb
+        class Object
+          def check: -> :ok
+        end
+      END
+    end
+
     def test_e2e_syntax_error
       assert_equal(<<~END, test_run("syntax_error", ["."]))
         # TypeProf #{ TypeProf::VERSION }

test/fixtures/ignore_directive_block/ignore_directive_block.rb

@@ -0,0 +1,6 @@
+def check
+  # typeprof:ignore:start
+  Foo.new.accept_int("str")
+  Foo.new.accept_int("str")
+  # typeprof:ignore:end
+end

test/fixtures/ignore_directive_block/ignore_directive_block.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def accept_int: (Integer) -> :ok
+end

test/lsp/lsp_test.rb

@@ -232,6 +232,44 @@ def foo(nnn)
       end
     end
 
+    def test_diagnostics_ignore_directive_block
+      init("basic")
+
+      notify(
+        "textDocument/didOpen",
+        textDocument: { uri: @folder + "basic.rb", version: 0, text: <<-END },
+def foo(nnn)
+  nnn
+end
+
+# typeprof:ignore:start
+foo(1, 2)
+foo(1, 2)
+# typeprof:ignore:end
+foo(1, 2)
+        END
+      )
+
+      expect_notification("typeprof.enableToggleButton") {|json| }
+      expect_request("workspace/codeLens/refresh") {|json| }
+      expect_notification("textDocument/publishDiagnostics") do |json|
+        assert_equal({
+          uri: @folder + "basic.rb",
+          diagnostics: [
+            {
+              message: "wrong number of arguments (2 for 1)",
+              range: {
+                start: { line: 8, character: 0 },
+                end: { line: 8, character: 3 },
+              },
+              severity: 1,
+              source: "TypeProf",
+            }
+          ],
+        }, json)
+      end
+    end
+
     def test_diagnostics2
       init("basic")