[−][src]Module rustc_trait_selection::infer::outlives

Various code related to computing outlives relations.

Modules

env
obligations	Code that handles "type-outlives" constraints like `T: 'a`. This is based on the `push_outlives_components` function defined on the tcx, but it adds a bit of heuristics on top, in particular to deal with associated types and projections.
verify