Damn. In the `swingset-runner` package with the modification shown above, `yarn lint` doesn't complain. It looks like it is only doing an eslint check, not a ts check. I only know about the typing problem because of vscode. This of course means it is missed in CI as well.