Module regions 

Traits

InferCtxtRegionExt

OutlivesEnvironmentBuildExt

Functions

region_known_to_outlive

Given a known param_env and a set of well formed types, can we prove that region_a outlives region_b

test_region_obligations

Given a known param_env and a set of well formed types, set up an InferCtxt, call the passed function (to e.g. set up region constraints to be tested), then resolve region and return errors

ty_known_to_outlive

Given a known param_env and a set of well formed types, can we prove that ty outlives region.