diff options
| -rw-r--r-- | compiler/rustc_mir_build/src/check_unsafety.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_mir_build/src/check_unsafety.rs b/compiler/rustc_mir_build/src/check_unsafety.rs index 0aec6318295..c3af98fae9d 100644 --- a/compiler/rustc_mir_build/src/check_unsafety.rs +++ b/compiler/rustc_mir_build/src/check_unsafety.rs @@ -201,14 +201,14 @@ impl<'a, 'tcx> Visitor<'a, 'tcx> for UnsafetyVisitor<'a, 'tcx> { AscribeUserType { .. } | // creating a union literal Constant { .. } => {}, - Variant { .. } | Leaf { .. } | Or { .. } => { + Leaf { .. } | Or { .. } => { // pattern matching with a union and not doing something like v = Union { bar: 5 } self.in_union_destructure = true; visit::walk_pat(self, pat); self.in_union_destructure = false; return; // don't walk pattern } - Deref { .. } | Range { .. } | Slice { .. } | Array { .. } => + Variant { .. } | Deref { .. } | Range { .. } | Slice { .. } | Array { .. } => unreachable!("impossible union destructuring type"), } } |