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