Skip to main content

Module add_implied_outlives

charon_lib::transform::add_missing_info

Module add_implied_outlives 

Source
Expand description

Make explicit the outlives predicates implied by item signatures.

Structs§

ClosureOutlivesComputer 🔒
OutlivesGatherer 🔒
Explore a type and accumulate the outlives predicates it implies.
Transform

Type Aliases§

BoundRegionOutlives 🔒
BoundTypeOutlives 🔒