From 793c40e0bdf0778dfa979e757e3cbf9f62eeb22c Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 3 Dec 2020 22:22:57 +0000 Subject: [PATCH] Inline `is_covered_by` --- compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs b/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs index 3b2eef5a905dd..8b21a9b24e6e2 100644 --- a/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs +++ b/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs @@ -697,6 +697,8 @@ impl<'tcx> Constructor<'tcx> { /// Returns whether `self` is covered by `other`, i.e. whether `self` is a subset of `other`. /// For the simple cases, this is simply checking for equality. For the "grouped" constructors, /// this checks for inclusion. + // We inline because this has a single call site in `Matrix::specialize_constructor`. + #[inline] pub(super) fn is_covered_by<'p>(&self, pcx: PatCtxt<'_, 'p, 'tcx>, other: &Self) -> bool { // This must be kept in sync with `is_covered_by_any`. match (self, other) {