Add explanatory comment

FabianWolff · FabianWolff · commit bbe3be9bf8d8 · 2021-08-31T23:44:15.000+02:00
diff --git a/compiler/rustc_typeck/src/check/coercion.rs b/compiler/rustc_typeck/src/check/coercion.rs
@@ -941,6 +941,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             exprs.len()
         );
 
+        // The following check fixes #88097, where the compiler erroneously
+        // attempted to coerce a closure type to itself via a function pointer.
         if prev_ty == new_ty {
             return Ok(prev_ty);
         }

Original file line number	Diff line number	Diff line change
`@@ -941,6 +941,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`941`	`941`	`exprs.len()`
`942`	`942`	`);`
`943`	`943`
	`944`	`+ // The following check fixes #88097, where the compiler erroneously`
	`945`	`+ // attempted to coerce a closure type to itself via a function pointer.`
`944`	`946`	`if prev_ty == new_ty {`
`945`	`947`	`return Ok(prev_ty);`
`946`	`948`	`}`