- let mut outlives_env = OutlivesEnvironment::new(param_env);
- outlives_env.add_implied_bounds(infcx, assumed_wf_types, impl1_hir_id);
+ let implied_bounds = infcx.implied_bounds_tys(param_env, impl1_hir_id, assumed_wf_types);
+ let outlives_env = OutlivesEnvironment::with_bounds(param_env, Some(infcx), implied_bounds);