I think they are enumerated here: <https://github....

# getting-started

[jk]

I think they are enumerated here: https://github.com/JetBrains/kotlin/blob/master/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/Errors.java