Fake capture closures if typeck results are empty

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) {

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(){}

src/tools/clippy/tests/ui/redundant_clone.fixed

@@ -201,7 +201,7 @@ fn clone_then_move_cloned() {
     fn foo<F: Fn()>(_: &Alpha, _: F) {}
     let x = Alpha;
     // ok, data is moved while the clone is in use.
-    foo(&x, move || {
+    foo(&x.clone(), move || {
         let _ = x;
     });
 

src/tools/clippy/tests/ui/redundant_clone.stderr

@@ -167,17 +167,5 @@ note: cloned value is neither consumed nor mutated
 LL |     let y = x.clone().join("matthias");
    |             ^^^^^^^^^
 
-error: redundant clone
-  --> $DIR/redundant_clone.rs:204:11
-   |
-LL |     foo(&x.clone(), move || {
-   |           ^^^^^^^^ help: remove this
-   |
-note: this value is dropped without further use
-  --> $DIR/redundant_clone.rs:204:10
-   |
-LL |     foo(&x.clone(), move || {
-   |          ^
-
-error: aborting due to 15 previous errors
+error: aborting due to 14 previous errors