fn check_call_recursion<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>)