Function should_recurse

fn should_recurse<'tcx>(tcx: TyCtxt<'tcx>, callee: Instance<'tcx>) -> bool