rigortype 0.4.5 → 0.4.7

data/lib/rigor/sig_gen/classification.rb

@@ -55,6 +55,10 @@ module Rigor
         # generic T`) and `sig/` does not declare it yet. sig-gen writes no class type parameters, and a header
         # without them fails the class's definition build.
         inline_generic_class: "sig.skipped.inline-generic-class",
+        # #2436 — the member's class, or one it is nested in, is declared generic by loaded RBS with a parameter
+        # that has a bound or a default, and `sig/` does not declare it. A header copied from that declaration
+        # could resolve the bound differently, and one without parameters fails the class's definition build.
+        generic_reopening: "sig.skipped.generic-reopening",
         # ADR-112 WD4 — the member is declared inline and in `sig/`, and the two disagree. A refusal, not a
         # skip: `--write` and `--check` exit 1 until a person reconciles them or passes `--overwrite`.
         inline_differs: "sig.skipped.inline-differs",

data/lib/rigor/sig_gen/effect_annotation.rb

@@ -82,8 +82,8 @@ module Rigor
       #
       # @param declared — whether the method already carries an authored bound of its own
       #   ({Effects::EnvelopeIndex}); see gate 0.
-      # @return `[Array<String> annotations, Symbol|nil reason]`. An empty
-      #   array with a `nil` reason is "nothing to say about this method".
+      # @return the annotation lines to render, then the reason to report. An empty list with a `nil` reason
+      #   is "nothing to say about this method".
       def decide(entry, envelopes: false, declared: false)
         return [[], :withheld_declared] if declared
         return [[], nil] if entry.nil?
@@ -133,7 +133,7 @@ module Rigor
 
         # @param path — the `.rb` file the def came from, for a `match:`-selected
         #   `effects.envelopes:` entry.
-        # @return `[Array<String>, Symbol|nil]` — see {EffectAnnotation.decide}.
+        # @return the annotation lines and the reason, as {EffectAnnotation.decide} gives them.
         def annotate(class_name:, method_name:, kind:, path: nil)
           key = EffectAnnotation.key_for(class_name, method_name, kind)
           return [[], nil] if key.nil?