hsckashkdjajshdas

compiler-errors · compiler-errors · commit 624736535614 · 2024-05-12T12:22:51.000-04:00
diff --git a/compiler/rustc_trait_selection/src/solve/alias_relate.rs b/compiler/rustc_trait_selection/src/solve/alias_relate.rs
@@ -33,7 +33,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
         let Goal { param_env, predicate: (lhs, rhs, direction) } = goal;
 
         if self.fast_reject_unnameable_rigid_term(param_env, lhs, rhs)
-            && self.fast_reject_unnameable_rigid_term(param_env, rhs, lhs)
+            || self.fast_reject_unnameable_rigid_term(param_env, rhs, lhs)
         {
             return Err(NoSolution);
         }

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {`
`33`	`33`	`let Goal { param_env, predicate: (lhs, rhs, direction) } = goal;`
`34`	`34`
`35`	`35`	`if self.fast_reject_unnameable_rigid_term(param_env, lhs, rhs)`
`36`		`- && self.fast_reject_unnameable_rigid_term(param_env, rhs, lhs)`
	`36`	`+ \|\| self.fast_reject_unnameable_rigid_term(param_env, rhs, lhs)`
`37`	`37`	`{`
`38`	`38`	`return Err(NoSolution);`
`39`	`39`	`}`