Module utils

Source

Functionsยง

insert_outlives_predicate ๐Ÿ”’
Given a requirement T: 'a or 'b: 'a, deduce the outlives_component and add it to required_predicates
is_free_region ๐Ÿ”’

Type Aliasesยง

RequiredPredicates ๐Ÿ”’
Tracks the T: 'a or 'a: 'a predicates that we have inferred must be added to the struct header.