This commit is contained in:
Douglas Creager 2025-09-26 09:13:18 -04:00
parent 8847e5e665
commit 209ae1a39b

View file

@ -1058,8 +1058,6 @@ impl<'db> InteriorNode<'db> {
Node::new_satisfied_constraint(db, smaller_constraint.when_true());
let not_larger_node =
Node::new_satisfied_constraint(db, larger_constraint.when_false());
let not_smaller_node =
Node::new_satisfied_constraint(db, smaller_constraint.when_false());
// larger smaller = larger
simplified = simplified.substitute_union(