diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
index 16d4d099c7e5e..3573ffe31ec61 100644
--- a/compiler/rustc_hir_analysis/src/check/wfcheck.rs
+++ b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
@@ -850,9 +850,10 @@ fn check_param_wf(tcx: TyCtxt<'_>, param: &hir::GenericParam<'_>) {
         // Const parameters are well formed if their type is structural match.
         hir::GenericParamKind::Const { ty: hir_ty, default: _ } => {
             let ty = tcx.type_of(param.def_id).instantiate_identity();
+            enter_wf_checking_ctxt(tcx, hir_ty.span, param.def_id, |wfcx| {
+                let ty = wfcx.normalize(hir_ty.span, Some(WellFormedLoc::Ty(param.def_id)), ty);
 
-            if tcx.features().adt_const_params {
-                enter_wf_checking_ctxt(tcx, hir_ty.span, param.def_id, |wfcx| {
+                if tcx.features().adt_const_params {
                     let trait_def_id =
                         tcx.require_lang_item(LangItem::ConstParamTy, Some(hir_ty.span));
                     wfcx.register_bound(
@@ -865,47 +866,47 @@ fn check_param_wf(tcx: TyCtxt<'_>, param: &hir::GenericParam<'_>) {
                         ty,
                         trait_def_id,
                     );
-                });
-            } else {
-                let err_ty_str;
-                let mut is_ptr = true;
-
-                let err = match ty.kind() {
-                    ty::Bool | ty::Char | ty::Int(_) | ty::Uint(_) | ty::Error(_) => None,
-                    ty::FnPtr(_) => Some("function pointers"),
-                    ty::RawPtr(_) => Some("raw pointers"),
-                    _ => {
-                        is_ptr = false;
-                        err_ty_str = format!("`{ty}`");
-                        Some(err_ty_str.as_str())
-                    }
-                };
-
-                if let Some(unsupported_type) = err {
-                    if is_ptr {
-                        tcx.sess.span_err(
-                            hir_ty.span,
-                            format!(
-                                "using {unsupported_type} as const generic parameters is forbidden",
-                            ),
-                        );
-                    } else {
-                        let mut err = tcx.sess.struct_span_err(
-                            hir_ty.span,
-                            format!(
-                                "{unsupported_type} is forbidden as the type of a const generic parameter",
-                            ),
-                        );
-                        err.note("the only supported types are integers, `bool` and `char`");
-                        if tcx.sess.is_nightly_build() {
-                            err.help(
-                            "more complex types are supported with `#![feature(adt_const_params)]`",
-                        );
+                } else {
+                    let err_ty_str;
+                    let mut is_ptr = true;
+
+                    let err = match ty.kind() {
+                        ty::Bool | ty::Char | ty::Int(_) | ty::Uint(_) | ty::Error(_) => None,
+                        ty::FnPtr(_) => Some("function pointers"),
+                        ty::RawPtr(_) => Some("raw pointers"),
+                        _ => {
+                            is_ptr = false;
+                            err_ty_str = format!("`{ty}`");
+                            Some(err_ty_str.as_str())
+                        }
+                    };
+
+                    if let Some(unsupported_type) = err {
+                        if is_ptr {
+                            tcx.sess.span_err(
+                                hir_ty.span,
+                                format!(
+                                    "using {unsupported_type} as const generic parameters is forbidden",
+                                ),
+                            );
+                        } else {
+                            let mut err = tcx.sess.struct_span_err(
+                                hir_ty.span,
+                                format!(
+                                    "{unsupported_type} is forbidden as the type of a const generic parameter",
+                                ),
+                            );
+                            err.note("the only supported types are integers, `bool` and `char`");
+                            if tcx.sess.is_nightly_build() {
+                                err.help(
+                                "more complex types are supported with `#![feature(adt_const_params)]`",
+                            );
+                            }
+                            err.emit();
                         }
-                        err.emit();
                     }
                 }
-            }
+            });
         }
     }
 }
diff --git a/tests/ui/lazy-type-alias/issue-114217-const-generic.rs b/tests/ui/lazy-type-alias/issue-114217-const-generic.rs
new file mode 100644
index 0000000000000..7784ce242ef56
--- /dev/null
+++ b/tests/ui/lazy-type-alias/issue-114217-const-generic.rs
@@ -0,0 +1,17 @@
+// Regression test for <https://github.com/rust-lang/rust/issues/114217>.
+// It ensures that enabling the lazy_type_alias` feature doesn't prevent
+// const generics to work with type aliases.
+
+// compile-flags: --crate-type lib
+// check-pass
+
+#![feature(lazy_type_alias)]
+//~^ WARN the feature `lazy_type_alias` is incomplete and may not be safe to use
+
+pub type Word = usize;
+
+pub struct IBig(usize);
+
+pub const fn base_as_ibig<const B: Word>() -> IBig {
+    IBig(B)
+}
diff --git a/tests/ui/lazy-type-alias/issue-114217-const-generic.stderr b/tests/ui/lazy-type-alias/issue-114217-const-generic.stderr
new file mode 100644
index 0000000000000..a9c3872aaaf08
--- /dev/null
+++ b/tests/ui/lazy-type-alias/issue-114217-const-generic.stderr
@@ -0,0 +1,11 @@
+warning: the feature `lazy_type_alias` is incomplete and may not be safe to use and/or cause compiler crashes
+  --> $DIR/issue-114217-const-generic.rs:8:12
+   |
+LL | #![feature(lazy_type_alias)]
+   |            ^^^^^^^^^^^^^^^
+   |
+   = note: see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
+   = note: `#[warn(incomplete_features)]` on by default
+
+warning: 1 warning emitted
+