diff options
| author | tiif <pekyuan@gmail.com> | 2025-09-15 08:57:22 +0000 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2025-09-15 08:57:22 +0000 |
| commit | b919a5f5183afb876b5206b3b23b249183cb313c (patch) | |
| tree | e7f68bb07b7fecefd6052378eaa4e7597ef4a6a7 /compiler/rustc_hir_analysis/src/check/wfcheck.rs | |
| parent | b50f345a2f3f49764024cabc30ef99e15c0240f7 (diff) | |
| download | rust-b919a5f5183afb876b5206b3b23b249183cb313c.tar.gz rust-b919a5f5183afb876b5206b3b23b249183cb313c.zip | |
Remove UnsizedConstParamTy trait and make it into an unstable impl
Diffstat (limited to 'compiler/rustc_hir_analysis/src/check/wfcheck.rs')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/check/wfcheck.rs | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs index 22a9446fd4c..6270fb24ba7 100644 --- a/compiler/rustc_hir_analysis/src/check/wfcheck.rs +++ b/compiler/rustc_hir_analysis/src/check/wfcheck.rs @@ -819,17 +819,7 @@ fn check_param_wf(tcx: TyCtxt<'_>, param: &ty::GenericParamDef) -> Result<(), Er let span = tcx.def_span(param.def_id); let def_id = param.def_id.expect_local(); - if tcx.features().unsized_const_params() { - enter_wf_checking_ctxt(tcx, tcx.local_parent(def_id), |wfcx| { - wfcx.register_bound( - ObligationCause::new(span, def_id, ObligationCauseCode::ConstParam(ty)), - wfcx.param_env, - ty, - tcx.require_lang_item(LangItem::UnsizedConstParamTy, span), - ); - Ok(()) - }) - } else if tcx.features().adt_const_params() { + if tcx.features().adt_const_params() { enter_wf_checking_ctxt(tcx, tcx.local_parent(def_id), |wfcx| { wfcx.register_bound( ObligationCause::new(span, def_id, ObligationCauseCode::ConstParam(ty)), @@ -880,7 +870,6 @@ fn check_param_wf(tcx: TyCtxt<'_>, param: &ty::GenericParamDef) -> Result<(), Er tcx, tcx.param_env(param.def_id), ty, - LangItem::ConstParamTy, cause, ) { // Can never implement `ConstParamTy`, don't suggest anything. |