Rollup merge of rust-lang#157795 - Kivooeo:revert-2, r=lcnr

revert 157013

revert rust-lang#157013

to open it again with crater and fcp this time

cc @BoxyUwU

r? lcnr

Author: JonathanBrouwer

compiler/rustc_hir_typeck/src/fn_ctxt/checks.rs

@@ -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);