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