class RBS::CyclicTypeParameterBound

def initialize(type_name:, method_name:, params:, location:)

def initialize(type_name:, method_name:, params:, location:)
  @type_name = type_name
  @method_name = method_name
  @params = params
  @location = location
  super "#{Location.to_string(location)}: Cyclic type parameter bound is prohibited"
end