Print allow_incompatible_override_visibility modifier

Signed-off-by: Alexandre Terrasa <[email protected]>

Author: Morriar

lib/rbi/printer.rb

@@ -800,6 +800,8 @@ def sig_modifiers(node)
       if node.is_override
         modifiers << if node.allow_incompatible_override
           "override(allow_incompatible: true)"
+        elsif node.allow_incompatible_override_visibility
+          "override(allow_incompatible: :visibility)"
         else
           "override"
         end

test/rbi/printer_test.rb

@@ -210,22 +210,28 @@ def test_print_methods_with_signatures
       sig4.is_override = true
       sig4.allow_incompatible_override = true
 
-      sig5 = Sig.new(return_type: "T.type_parameter(:V)")
-      sig5.type_params << "U"
-      sig5.type_params << "V"
-      sig5 << SigParam.new("a", "T.type_parameter(:U)")
+      sig5 = Sig.new(return_type: "T.nilable(String)")
+      sig5.is_override = true
+      sig5.allow_incompatible_override_visibility = true
+
+      sig6 = Sig.new(return_type: "T.type_parameter(:V)")
+      sig6.type_params << "U"
+      sig6.type_params << "V"
+      sig6 << SigParam.new("a", "T.type_parameter(:U)")
 
       method = Method.new("foo")
       method.sigs << sig1
       method.sigs << sig2
       method.sigs << sig3
       method.sigs << sig4
       method.sigs << sig5
+      method.sigs << sig6
       assert_equal(<<~RBI, method.string)
         sig { void }
         sig { params(a: A, b: T.nilable(B), b: T.proc.void).returns(R) }
         sig { abstract.override.overridable.checked(:never).void }
         sig { override(allow_incompatible: true).returns(T.nilable(String)) }
+        sig { override(allow_incompatible: :visibility).returns(T.nilable(String)) }
         sig { type_parameters(:U, :V).params(a: T.type_parameter(:U)).returns(T.type_parameter(:V)) }
         def foo; end
       RBI