Module region_constraint

Expand description

The bulk of the logic for implementing -Zassumptions-on-binders

Structs§

destructure_type_outlives_constraints_in_root: Converts type outlives constraints into region outlives constraints. This assumes the complete set of assumptions are known. This should not be called until the end of type checking.
eagerly_handle_placeholders_in_universe: Takes any constraints involving placeholders from the current universe and eagerly checks them. This can be done a few ways:
evaluate_solver_constraint: Evaluate ANDs and ORs to true/false/ambiguous based on whether their arguments are true/false/ambiguous
max_universe: The largest universe a variable or placeholder was from in t
regions_outlived_by: Returns all regions r2 for which r: r2 is known to hold in the universe associated with assumptions
regions_outlived_by_placeholder: Returns all regions r for which !t: r is known to hold in the universe associated with assumptions
regions_outliving: Returns all regions r2 for which r2: r is known to hold in the universe associated with assumptions