potentially constant-fold &defined