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