diff options
| author | Ali MJ Al-Nasrawy <alimjalnasrawy@gmail.com> | 2023-01-27 17:22:05 +0300 |
|---|---|---|
| committer | Ali MJ Al-Nasrawy <alimjalnasrawy@gmail.com> | 2023-03-26 11:43:12 +0300 |
| commit | b197f1ac2e455d9c39405cd1b70935a7da81f69d (patch) | |
| tree | 2b4815ec4712d64595950dae210b9eea17b88f35 /compiler/rustc_trait_selection/src/traits | |
| parent | 8859fde21fa4e059c71a843cc7ee995c189a97c0 (diff) | |
| download | rust-b197f1ac2e455d9c39405cd1b70935a7da81f69d.tar.gz rust-b197f1ac2e455d9c39405cd1b70935a7da81f69d.zip | |
remove obsolete `givens` from regionck
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/coherence.rs | 1 | ||||
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/misc.rs | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index 572d20b5368..65feda56db4 100644 --- a/compiler/rustc_trait_selection/src/traits/coherence.rs +++ b/compiler/rustc_trait_selection/src/traits/coherence.rs @@ -396,7 +396,6 @@ fn resolve_negative_obligation<'tcx>( let wf_tys = ocx.assumed_wf_types(param_env, DUMMY_SP, body_def_id); let outlives_env = OutlivesEnvironment::with_bounds( param_env, - Some(&infcx), infcx.implied_bounds_tys(param_env, body_def_id, wf_tys), ); diff --git a/compiler/rustc_trait_selection/src/traits/misc.rs b/compiler/rustc_trait_selection/src/traits/misc.rs index 336db4fee6c..0bde43c54df 100644 --- a/compiler/rustc_trait_selection/src/traits/misc.rs +++ b/compiler/rustc_trait_selection/src/traits/misc.rs @@ -111,7 +111,6 @@ pub fn type_allowed_to_implement_copy<'tcx>( // Check regions assuming the self type of the impl is WF let outlives_env = OutlivesEnvironment::with_bounds( param_env, - Some(&infcx), infcx.implied_bounds_tys( param_env, parent_cause.body_id, |