Rollup merge of #100852 - Samyak2:samyak/100459, r=Mark-Simulacrum

[rust.git] / compiler / rustc_typeck / src / hir_wf_check.rs

diff --git a/compiler/rustc_typeck/src/hir_wf_check.rs b/compiler/rustc_typeck/src/hir_wf_check.rs
index fd9715e6ca37481b7f6b038a5838a2ba465abec8..7b080dc2942e06afb03b6642821be02055e5a6cc 100644 (file)
--- a/compiler/rustc_typeck/src/hir_wf_check.rs
+++ b/compiler/rustc_typeck/src/hir_wf_check.rs
@@ -140,6 +140,10 @@ fn visit_ty(&mut self, ty: &'tcx hir::Ty<'tcx>) {
             hir::Node::ForeignItem(ForeignItem {
                 kind: ForeignItemKind::Static(ty, _), ..
             }) => Some(*ty),
+            hir::Node::GenericParam(hir::GenericParam {
+                kind: hir::GenericParamKind::Type { default: Some(ty), .. },
+                ..
+            }) => Some(*ty),
             ref node => bug!("Unexpected node {:?}", node),
         },
         WellFormedLoc::Param { function: _, param_idx } => {