rust-lang
diff --git a/‎compiler/rustc_hir_typeck/src/fn_ctxt/checks.rs‎
Lines changed: 0 additions & 10 deletions b/‎compiler/rustc_hir_typeck/src/fn_ctxt/checks.rs‎
Lines changed: 0 additions & 10 deletions
diff --git a/‎tests/ui/wf/let-pat-inferred-non-wf.rs‎
Lines changed: 0 additions & 58 deletions b/‎tests/ui/wf/let-pat-inferred-non-wf.rs‎
Lines changed: 0 additions & 58 deletions
diff --git a/‎tests/ui/wf/let-pat-inferred-non-wf.stderr‎
Lines changed: 0 additions & 62 deletions b/‎tests/ui/wf/let-pat-inferred-non-wf.stderr‎
Lines changed: 0 additions & 62 deletions
@@ -903,16 +903,6 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
 
         // Type check the pattern. Override if necessary to avoid knock-on errors.
         self.check_pat_top(decl.pat, decl_ty, ty_span, origin_expr, Some(decl.origin));
-        if decl.ty.is_none()
-            && decl.init.is_none()
-            && !matches!(decl.pat.kind, hir::PatKind::Binding(.., None) | hir::PatKind::Wild)
-        {
-            self.register_wf_obligation(
-                decl_ty.into(),
-                decl.pat.span,
-                ObligationCauseCode::WellFormed(None),
-            );
-        }
         let pat_ty = self.node_ty(decl.pat.hir_id);
         self.overwrite_local_ty_if_err(decl.hir_id, decl.pat, pat_ty);