メソッド呼び出しの引数で、その推論される型がパラメーターの @param タグと一致していないものを報告します。

例:

class ArrayMax
  # @param [Integer] val
  def parameter(val) end

  def error_with_param
    parameter([1, 2])
  end
end