From 8b984e5c2487d9d4029b35cf9a0b079b66f3b7c6 Mon Sep 17 00:00:00 2001
From: ouz-a <oguz.agcayazi@gmail.com>
Date: Thu, 11 Aug 2022 15:40:23 +0300
Subject: [PATCH] fake capture if min_captures empty

---
 compiler/rustc_hir_typeck/src/upvar.rs |  7 ++++++-
 src/test/ui/closures/issue-93242.rs    | 11 +++++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 src/test/ui/closures/issue-93242.rs

diff --git a/compiler/rustc_hir_typeck/src/upvar.rs b/compiler/rustc_hir_typeck/src/upvar.rs
index 4dea40829f622..3aa8c56138de6 100644
--- a/compiler/rustc_hir_typeck/src/upvar.rs
+++ b/compiler/rustc_hir_typeck/src/upvar.rs
@@ -231,7 +231,12 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
 
         // We now fake capture information for all variables that are mentioned within the closure
         // We do this after handling migrations so that min_captures computes before
-        if !enable_precise_capture(self.tcx, span) {
+        if !enable_precise_capture(self.tcx, span)
+            // (ouz-a) #93242 - ICE happens because closure_min_captures is empty with
+            // 2021 edition, because it sets `enable_precise_capture` to true, which won't allow us
+            // fake capture information this check sidesteps that and avoids the ICE.
+            || (infer_kind == None && self.typeck_results.borrow().closure_min_captures.is_empty())
+        {
             let mut capture_information: InferredCaptureInformation<'tcx> = Default::default();
 
             if let Some(upvars) = self.tcx.upvars_mentioned(closure_def_id) {
diff --git a/src/test/ui/closures/issue-93242.rs b/src/test/ui/closures/issue-93242.rs
new file mode 100644
index 0000000000000..56f8b0a477935
--- /dev/null
+++ b/src/test/ui/closures/issue-93242.rs
@@ -0,0 +1,11 @@
+// check-pass
+// edition:2021
+
+pub fn something(path: &[usize]) -> impl Fn() -> usize + '_ {
+    move || match path {
+        [] => 0,
+        _ => 1,
+    }
+}
+
+fn main(){}