Auto merge of rust-lang#140208 - compiler-errors:wf-coinductive, r=<try>

[crater] WF is not coinductive

r? lcnr

Author: bors

compiler/rustc_trait_selection/src/traits/select/mod.rs

@@ -1242,7 +1242,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
             ty::PredicateKind::Clause(ty::ClauseKind::Trait(data)) => {
                 self.infcx.tcx.trait_is_coinductive(data.def_id())
             }
-            ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => true,
+            ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => false,
             _ => false,
         })
     }