ie: we shouldn't need to be conservative wrt the ivy resolver, it should be robustly tested since we have our hands on it