class Steep::Subtyping::Constraints::UnsatisfiedInvariantError

def initialize(reason:, constraints:)

def initialize(reason:, constraints:)
  @reason = reason
  @constraints = constraints
  super "Invalid constraint: reason=#{reason.message}, constraints=#{constraints.to_s}"
end