fn comment(tcx: TyCtxt<'_>, _: SourceInfo, function_span: Span) -> String