`within` can fail when `env` converts to `qenv.error`
withincan fail whenenvconverts toqenv.error