Incorrrect IncompatibleAssignment error in Array#min with a static value

[KieranP]

In the latest release (1.9), and starting to see IncompatibleAssignment errors where I did not previously.

class Models
  class Health < Base
    attr_reader :value #: ::Integer

    # @rbs amount: ::Integer
    # @rbs return: void
    def gain(amount)
      @value = [
        value + amount,
        100
      ].min
    end

    # @rbs amount: ::Integer
    # @rbs return: void
    def lose(amount)
      @value = [
        0,
        value - amount
      ].max
    end
  end
end

app/models/health.rb:8:6: [error] Cannot assign a value of type `(::Integer | nil)` to a variable of type `::Integer`
│   (::Integer | nil) <: ::Integer
│     nil <: ::Integer
│
│ Diagnostic ID: Ruby::IncompatibleAssignment
│
└       @value = [
        ~~~~~~~~~~

app/models/health.rb:17:6: [error] Cannot assign a value of type `(::Integer | nil)` to a variable of type `::Integer`
│   (::Integer | nil) <: ::Integer
│     nil <: ::Integer
│
│ Diagnostic ID: Ruby::IncompatibleAssignment
│
└       @value = [

Looks like the Array#min is saying it can return nil, which for an empty array would be the case ([].max => nil), but the array has a static Integer in it (100), so [100].max can never return nil. Additionally, the amount argument and value reader are also of type ::Integer, not ::Integer?, which means both elements in the array will always contain a value from a typing perspective...

This error should not show in cases where the type check determines that there will always be at least one non-nil value in the array.

[KieranP]

Confirming that this issue is still present in the newly released 1.9 version.