Wf is not coinductive

compiler-errors · compiler-errors · commit 3f4d6c9084ec · 2025-04-23T17:11:30.000Z
diff --git a/compiler/rustc_trait_selection/src/traits/select/mod.rs b/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,
         })
     }

Original file line number	Diff line number	Diff line change
`@@ -1242,7 +1242,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {`
`1242`	`1242`	`ty::PredicateKind::Clause(ty::ClauseKind::Trait(data)) => {`
`1243`	`1243`	`self.infcx.tcx.trait_is_coinductive(data.def_id())`
`1244`	`1244`	`}`
`1245`		`- ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => true,`
	`1245`	`+ ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => false,`
`1246`	`1246`	`_ => false,`
`1247`	`1247`	`})`
`1248`	`1248`	`}`