fixup! Instantiate body instead of using ParamTypeMapper

coord-e · coord-e · commit 052563b22699 · 2025-12-14T18:17:46.000+09:00
diff --git a/src/analyze.rs b/src/analyze.rs
@@ -339,6 +339,11 @@ impl<'tcx> Analyzer<'tcx> {
         }
     }
 
+    /// Computes the signature of the local function.
+    ///
+    /// This is a drop-in replacement of `self.tcx.fn_sig(local_def_id).instantiate_identity().skip_binder()`,
+    /// but extracts parameter and return types directly from the given `body` to obtain a signature that
+    /// reflects potential type instantiations happened after `optimized_mir`.
     pub fn local_fn_sig_with_body(
         &self,
         local_def_id: LocalDefId,

Original file line number	Diff line number	Diff line change
`@@ -339,6 +339,11 @@ impl<'tcx> Analyzer<'tcx> {`
`339`	`339`	`}`
`340`	`340`	`}`
`341`	`341`
	`342`	`+ /// Computes the signature of the local function.`
	`343`	`+ ///`
	`344`	+ /// This is a drop-in replacement of `self.tcx.fn_sig(local_def_id).instantiate_identity().skip_binder()`,
	`345`	+ /// but extracts parameter and return types directly from the given `body` to obtain a signature that
	`346`	+ /// reflects potential type instantiations happened after `optimized_mir`.
`342`	`347`	`pub fn local_fn_sig_with_body(`
`343`	`348`	`&self,`
`344`	`349`	`local_def_id: LocalDefId,`