class Steep::Errors::UnsatisfiableConstraint

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