Module typeck_constraints

Source

Functionsยง

compute_constraint_direction ๐Ÿ”’
For a given outlives constraint and CFG edge, returns the localized constraint with the appropriate from-to direction. This is computed according to whether the constraint flows to or from a free region in the given value, some kind of result for an effectful operation, like the LHS of an assignment.
convert_typeck_constraints ๐Ÿ”’
Propagate loans throughout the subset graph at a given point (with some subtleties around the location where effects start to be visible).
localize_statement_constraint ๐Ÿ”’
For a given outlives constraint arising from a MIR statement, localize the constraint with the needed CFG from-to intra-block nodes.
localize_terminator_constraint ๐Ÿ”’
For a given outlives constraint arising from a MIR terminator, localize the constraint with the needed CFG from-to inter-block nodes.