feat: Add override_documentation for type changes.

test/scip/testdata/freeze_constants.rb

@@ -0,0 +1,13 @@
+# typed: true
+# options: showDocs
+
+X = 'X'.freeze
+Y = 'Y'.freeze
+A = %w[X Y].freeze
+B = %W[#{X} Y].freeze
+
+module M
+  Z = 'Z'.freeze
+  A = %w[X Y Z].freeze
+  B = %W[#{X} Y Z].freeze
+end

test/scip/testdata/freeze_constants.snapshot.rb

@@ -0,0 +1,55 @@
+ # typed: true
+ # options: showDocs
+
+ X = 'X'.freeze
+#^ definition [..] X.
+#documentation
+#| ```ruby
+#| ::X = T.let(_, T.untyped)
+#| ```
+ Y = 'Y'.freeze
+#^ definition [..] Y.
+#documentation
+#| ```ruby
+#| ::Y = T.let(_, T.untyped)
+#| ```
+ A = %w[X Y].freeze
+#^ definition [..] A.
+#documentation
+#| ```ruby
+#| ::A = T.let(_, T.untyped)
+#| ```
+ B = %W[#{X} Y].freeze
+#^ definition [..] B.
+#documentation
+#| ```ruby
+#| ::B = T.let(_, T.untyped)
+#| ```
+#         ^ reference [..] X.
+
+ module M
+#       ^ definition [..] M#
+#       documentation
+#       | ```ruby
+#       | module M
+#       | ```
+   Z = 'Z'.freeze
+#  ^ definition [..] M#Z.
+#  documentation
+#  | ```ruby
+#  | ::M::Z = T.let(_, T.untyped)
+#  | ```
+   A = %w[X Y Z].freeze
+#  ^ definition [..] M#A.
+#  documentation
+#  | ```ruby
+#  | ::M::A = T.let(_, T.untyped)
+#  | ```
+   B = %W[#{X} Y Z].freeze
+#  ^ definition [..] M#B.
+#  documentation
+#  | ```ruby
+#  | ::M::B = T.let(_, T.untyped)
+#  | ```
+#           ^ reference [..] X.
+ end

test/scip/testdata/hoverdocs.snapshot.rb

@@ -327,6 +327,10 @@ def p1
 #    | @@y = T.let(_, T.untyped)
 #    | ```
 #    ^^^^^^^^ reference [..] K1#@@y.
+#    override_documentation
+#    | ```ruby
+#    | @@y = T.let(_, Integer(10))
+#    | ```
    end
 
    # lorem ipsum, you get it
@@ -346,6 +350,10 @@ def self.p2
 #    | @z = T.let(_, T.untyped)
 #    | ```
 #    ^^^^^^^ reference [..] <Class:K1>#@z.
+#    override_documentation
+#    | ```ruby
+#    | @z = T.let(_, Integer(10))
+#    | ```
    end
  end
 
@@ -402,5 +410,9 @@ def p1
 #    ^^ reference (write) [..] K2#@z.
 #    ^^^^^^^^ reference [..] K2#@z.
 #          ^^ reference [..] K2#@x.
+#          override_documentation
+#          | ```ruby
+#          | @x = T.let(_, Integer(20))
+#          | ```
    end
  end

test/scip/testdata/type_change.rb

@@ -0,0 +1,67 @@
+# typed: true
+# options: showDocs
+
+def assign_different_branches(b)
+  if b
+    x = 1
+  else
+    x = nil
+  end
+  return
+end
+
+def change_different_branches(b)
+  x = 'foo'
+  if b
+    x = 1
+  else
+    x = nil
+  end
+  return
+end
+
+def loop_type_change(bs)
+  x = nil
+  for b in bs
+    puts x
+    if b
+      x = 1
+    else
+      x = 's'
+    end
+  end
+  return
+end
+
+class C
+  @k = nil
+
+  def change_type(b)
+    @f = nil
+    @@g = nil
+    @k = nil
+    if b
+      @f = 1
+      @@g = 1
+      @k = 1
+    else
+      @f = 'f'
+      @@g = 'g'
+      @k = 'k'
+    end
+  end
+end
+
+class D < C
+  def change_type(b)
+    if !b
+      @f = 1
+      @@g = 1
+      @k = 1
+    else
+      @f = 'f'
+      @@g = 'g'
+      @k = 'k'
+    end
+  end
+end