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