mirror of
https://github.com/github/codeql.git
synced 2025-12-24 12:46:34 +01:00
Having `toString()` defined to be `none()` is a major headache when debugging, as `toString`-less results are silently elided. This PR puts dummy `toString`s in place of the `none()`s. (I am mostly creating this to see if it impacts our tests and/or the performance. If not, we may as well merge it.)