class Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesUnknownsNotDisjoint

def initialize(vars:)
  @vars = vars
end

def message
  "Variables and unknowns should be disjoint (#{vars})"
end