class Steep::Errors::UnsatisfiableConstraint

def initialize(node:, method_type:, var:, sub_type:, super_type:, result:)
  super(node: node)
  @method_type = method_type
  @var = var
  @sub_type = sub_type
  @super_type = super_type
  @result = result
end

def to_s
  "#{location_to_str}: UnsatisfiableConstraint: method_type=#{method_type}, constraint=#{sub_type} <: '#{var} <: #{super_type}"
end