pub fn evaluate_solver_constraint<I>(
constraint: &RegionConstraint<I>,
) -> RegionConstraint<I>where
I: Interner,Expand description
Evaluate ANDs and ORs to true/false/ambiguous based on whether their arguments are true/false/ambiguous
pub fn evaluate_solver_constraint<I>(
constraint: &RegionConstraint<I>,
) -> RegionConstraint<I>where
I: Interner,Evaluate ANDs and ORs to true/false/ambiguous based on whether their arguments are true/false/ambiguous