pub fn coverageinfo<'tcx>(tcx: TyCtxt<'tcx>, key: coverageinfo<'tcx>) -> String