Skip to main content

evaluate_solver_constraint

rustc_type_ir::region_constraint

Function evaluate_solver_constraint 

Source 
pub fn evaluate_solver_constraint<I: Interner>(
    constraint: &RegionConstraint<I>,
) -> RegionConstraint<I>
Expand description

Evaluate ANDs and ORs to true/false/ambiguous based on whether their arguments are true/false/ambiguous