Searched refs:OutlivesEnvironment (Results 1 – 8 of 8) sorted by relevance
30 pub struct OutlivesEnvironment<'tcx> { struct71 impl<'a, 'tcx> OutlivesEnvironment<'tcx> { argument73 let mut env = OutlivesEnvironment { in new()
85 use rustc_infer::infer::outlives::env::OutlivesEnvironment;116 impl<'tcx> OutlivesEnvironmentExt<'tcx> for OutlivesEnvironment<'tcx> { implementation224 outlives_environment: OutlivesEnvironment<'tcx>,251 let outlives_environment = OutlivesEnvironment::new(param_env); in new()
5 use rustc_infer::infer::outlives::env::OutlivesEnvironment;131 let outlives_env = OutlivesEnvironment::new(ty::ParamEnv::empty()); in ensure_drop_params_and_item_params_correspond()
15 use rustc_infer::infer::outlives::env::OutlivesEnvironment;486 let mut outlives_environment = OutlivesEnvironment::new(param_env); in ty_known_to_outlive()535 let mut outlives_environment = OutlivesEnvironment::new(param_env); in region_known_to_outlive()
11 use rustc_infer::infer::outlives::env::OutlivesEnvironment;272 let outlives_env = OutlivesEnvironment::new(param_env); in visit_implementation_of_dispatch_from_dyn()532 let outlives_env = OutlivesEnvironment::new(param_env); in coerce_unsized_info()
72 use rustc_infer::infer::outlives::env::OutlivesEnvironment;165 let outlives_env = OutlivesEnvironment::new(ty::ParamEnv::empty()); in get_impl_substs()
25 use crate::infer::outlives::env::OutlivesEnvironment;244 let outlives_env = OutlivesEnvironment::new(elaborated_env); in do_normalize_predicates()
44 use self::outlives::env::OutlivesEnvironment;1247 outlives_env: &OutlivesEnvironment<'tcx>, in resolve_regions()1285 outlives_env: &OutlivesEnvironment<'tcx>, in resolve_regions_and_report_errors()