rust-lang-ci
diff --git a/‎compiler/rustc_trait_selection/src/traits/select/mod.rs
Copy file name to clipboardExpand all lines: compiler/rustc_trait_selection/src/traits/select/mod.rs
+1-1Lines changed: 1 addition & 1 deletion b/‎compiler/rustc_trait_selection/src/traits/select/mod.rs
Copy file name to clipboardExpand all lines: compiler/rustc_trait_selection/src/traits/select/mod.rs
+1-1Lines changed: 1 addition & 1 deletion
@@ -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`	`}`