class RBS::GenericParameterMismatchError
def initialize(name:, decl:)
def initialize(name:, decl:) @name = name @decl = decl super "#{Location.to_string decl.location}: Generic parameters mismatch: #{name}" end
def initialize(name:, decl:) @name = name @decl = decl super "#{Location.to_string decl.location}: Generic parameters mismatch: #{name}" end