rustc_infer::infer

Module outlives

Source
Expand description

Various code related to computing outlives relations.

Modules§

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

Functions§