`String.substring` is such an example: <https://co...

# announcements

[Marc Knaup]

String.substring is such an example: https://codecov.io/gh/fluidsonic/fluid-json/src/coverage-experiments/Sources/JSONParser.kt#L302