about summary refs log tree commit diff
diff options
context:
space:
mode:
authorFabian Wolff <fabian.wolff@alumni.ethz.ch>2022-01-31 20:34:26 +0100
committerFabian Wolff <fabian.wolff@alumni.ethz.ch>2022-01-31 20:34:26 +0100
commit95344c02fd72511d3c87eb36f2fb36e28562934a (patch)
tree5b9f72a5383f0f5625cc6b209654c1a7a1fdad25
parent0363f11ff03269d84eedb50d2130000fdfeceeb0 (diff)
downloadrust-95344c02fd72511d3c87eb36f2fb36e28562934a.tar.gz
rust-95344c02fd72511d3c87eb36f2fb36e28562934a.zip
Add FIXME comment
-rw-r--r--compiler/rustc_typeck/src/check/pat.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_typeck/src/check/pat.rs b/compiler/rustc_typeck/src/check/pat.rs
index 9c2182a87ff..62cd9c64a4a 100644
--- a/compiler/rustc_typeck/src/check/pat.rs
+++ b/compiler/rustc_typeck/src/check/pat.rs
@@ -2047,6 +2047,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                             );
                             None
                         }
+                        // FIXME: instead of checking for Vec only, we could check whether the
+                        // type implements `Deref<Target=X>`; see
+                        // https://github.com/rust-lang/rust/pull/91343#discussion_r761466979
                         ty::Adt(adt_def, _)
                             if self.tcx.is_diagnostic_item(sym::Vec, adt_def.did) =>
                         {