Add comment

rust-lang · Oct 18, 2020 · c4ae6c2 · c4ae6c2
1 parent da0ba2f
commit c4ae6c2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/compiler/rustc_mir_build/src/thir/pattern/_match.rs b/compiler/rustc_mir_build/src/thir/pattern/_match.rs
@@ -2113,6 +2113,9 @@ fn pat_constructor<'tcx>(
                 match value.ty.kind() {
                     ty::Float(_) => Some(FloatRange(value, value, RangeEnd::Included)),
                     ty::Ref(_, t, _) if t.is_str() => Some(Str(value)),
+                    // All constants that can be structurally matched have already been expanded
+                    // into the corresponding `Pat`s by `const_to_pat`. Constants that remain are
+                    // opaque.
                     _ => Some(Opaque),
                 }
             }