src/librustc_infer/infer/outlives/mod.rs

   1 //! Various code related to computing outlives relations.
   2
   3 pub mod env;
   4 pub mod obligations;
   5 pub mod verify;
   6
   7 use rustc_middle::traits::query::OutlivesBound;
   8 use rustc_middle::ty;
   9
  10 pub fn explicit_outlives_bounds<'tcx>(
  11     param_env: ty::ParamEnv<'tcx>,
  12 ) -> impl Iterator<Item = OutlivesBound<'tcx>> + 'tcx {
  13     debug!("explicit_outlives_bounds()");
  14     param_env.caller_bounds.into_iter().filter_map(move |predicate| match predicate.kind() {
  15         ty::PredicateKind::Projection(..)
  16         | ty::PredicateKind::Trait(..)
  17         | ty::PredicateKind::Subtype(..)
  18         | ty::PredicateKind::WellFormed(..)
  19         | ty::PredicateKind::ObjectSafe(..)
  20         | ty::PredicateKind::ClosureKind(..)
  21         | ty::PredicateKind::TypeOutlives(..)
  22         | ty::PredicateKind::ConstEvaluatable(..)
  23         | ty::PredicateKind::ConstEquate(..)
  24         | ty::PredicateKind::WellFormedConst(..) => None,
  25         ty::PredicateKind::RegionOutlives(ref data) => data
  26             .no_bound_vars()
  27             .map(|ty::OutlivesPredicate(r_a, r_b)| OutlivesBound::RegionSubRegion(r_b, r_a)),
  28     })
  29 }