We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8ea0973 commit bc5f4c4Copy full SHA for bc5f4c4
compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -87,7 +87,7 @@ where
87
if let (Some(t1), Some(t2)) = (t1, t2) {
88
// Simplified successfully
89
// Types cannot unify if they differ in their reference mutability or simplify to different types
90
- ty1.ref_mutability() != ty2.ref_mutability() || t1 != t2
+ t1 != t2 || ty1.ref_mutability() != ty2.ref_mutability()
91
} else {
92
// Types might unify
93
false
0 commit comments