tweak fndef pretty print

HTGAzureX1212 · HTGAzureX1212 · commit 6fa908efc131 · 2024-02-08T10:03:14.000+08:00
diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -662,7 +662,8 @@ pub trait PrettyPrinter<'tcx>: Printer<'tcx> + fmt::Write {
                 if with_no_queries() {
                     p!(print_def_path(def_id, args));
                 } else {
-                    p!("{{individual function type for", print_value_path(def_id, args), "}}");
+                    let sig = self.tcx().fn_sig(def_id).instantiate(self.tcx(), args);
+                    p!("{{function item type ", print_value_path(def_id, args), " (", print(sig) ,")}}");
                 }
             }
             ty::FnPtr(ref bare_fn) => p!(print(bare_fn)),

Original file line number	Diff line number	Diff line change
`@@ -662,7 +662,8 @@ pub trait PrettyPrinter<'tcx>: Printer<'tcx> + fmt::Write {`
`662`	`662`	`if with_no_queries() {`
`663`	`663`	`p!(print_def_path(def_id, args));`
`664`	`664`	`} else {`
`665`		`- p!("{{individual function type for", print_value_path(def_id, args), "}}");`
	`665`	`+ let sig = self.tcx().fn_sig(def_id).instantiate(self.tcx(), args);`
	`666`	`+ p!("{{function item type ", print_value_path(def_id, args), " (", print(sig) ,")}}");`
`666`	`667`	`}`
`667`	`668`	`}`
`668`	`669`	`ty::FnPtr(ref bare_fn) => p!(print(bare_fn)),`