diff options
| author | Ellen <supbscripter@gmail.com> | 2021-09-07 13:49:31 +0100 |
|---|---|---|
| committer | Ellen <supbscripter@gmail.com> | 2021-09-09 01:32:03 +0100 |
| commit | cd2915eddb446df2d89922d3b68080d091dc247e (patch) | |
| tree | 33486e35d29b2ef74b06645733313e0646a61020 | |
| parent | 3212734bd744719dc197a19902d083c591670ab1 (diff) | |
| download | rust-cd2915eddb446df2d89922d3b68080d091dc247e.tar.gz rust-cd2915eddb446df2d89922d3b68080d091dc247e.zip | |
fmt
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/const_evaluatable.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs b/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs index 702b5a508b7..4f178f777af 100644 --- a/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs +++ b/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs @@ -579,7 +579,9 @@ pub(super) fn try_unify<'tcx>( && iter::zip(a_args, b_args) .all(|(&an, &bn)| try_unify(tcx, a.subtree(an), b.subtree(bn))) } - (Node::Cast(a_kind, a_operand, a_ty), Node::Cast(b_kind, b_operand, b_ty)) if (a_ty == b_ty) && (a_kind == b_kind) => { + (Node::Cast(a_kind, a_operand, a_ty), Node::Cast(b_kind, b_operand, b_ty)) + if (a_ty == b_ty) && (a_kind == b_kind) => + { try_unify(tcx, a.subtree(a_operand), b.subtree(b_operand)) } // use this over `_ => false` to make adding variants to `Node` less error prone |