rustc_trait_selection::infer::canonical::ir::region_constraint

Function evaluate_solver_constraint

pub fn evaluate_solver_constraint<I, S>(
    constraint: &RegionConstraint<I, S>,
) -> RegionConstraint<I, S>where
    I: Interner,
    S: Clone + Debug,

Expand description

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

evaluate_solver_constraint

Function evaluate_solver_constraint Copy item path

Function evaluate_solver_constraint