diff options
| author | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2024-01-16 18:39:00 -0500 |
|---|---|---|
| committer | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2024-01-17 21:27:34 -0500 |
| commit | acab76573fffe8a3c2578506f277a89ef772a05d (patch) | |
| tree | 763d63e8c4f70ba68db0b7bea32198e1cfb16311 /compiler/rustc_hir_analysis/src/impl_wf_check | |
| parent | d96003dd2a780ecb19252229b1927b1dc09f699b (diff) | |
| download | rust-acab76573fffe8a3c2578506f277a89ef772a05d.tar.gz rust-acab76573fffe8a3c2578506f277a89ef772a05d.zip | |
Add -Zno-implied-bounds-compat option and use it
Diffstat (limited to 'compiler/rustc_hir_analysis/src/impl_wf_check')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs b/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs index a922209deb8..6964446f9c7 100644 --- a/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs +++ b/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs @@ -202,8 +202,7 @@ fn get_impl_args( return Err(guar); } - let implied_bounds = - infcx.implied_bounds_tys_compat(param_env, impl1_def_id, &assumed_wf_types); + let implied_bounds = infcx.implied_bounds_tys(param_env, impl1_def_id, &assumed_wf_types); let outlives_env = OutlivesEnvironment::with_bounds(param_env, implied_bounds); let _ = ocx.resolve_regions_and_report_errors(impl1_def_id, &outlives_env); let Ok(impl2_args) = infcx.fully_resolve(impl2_args) else { |