pub fn thir_body<'tcx>(_: TyCtxt<'tcx>, _: &thir_body<'tcx>) -> bool