Not sure if this a regression, Mac issue, or ID10T error, but I recently switched from Windows to Mac and ran into an issue with symbol resolution. I set deftest to def , but this doesn’t seem to resolve correctly inside of with-redefs forms. No problem on Windows, but I may be on an older build there.