swift

f3b8bedf - RequirementMachine: Fix assertion failure when conflicting rules are also redundant

RequirementMachine: Fix assertion failure when conflicting rules are also redundant We can end up with two redundant concrete type rules on the same term, but we would crash in homotopy reduction because the rules were incomparable due to the concrete type symbol at the end. If one of them is conflicting though, we don't really care about the homotopy reduction order, so skip the check if the other rule was already marked conflicting.