Can we use `phase1-eval` from `unstable/macro-testing` here?