> port: Int(this > 1000) = 80 Yeah that looks pretty useful. In JavaScript land, I just do this with zod to crash the server on startup, but I can't remember

> port: Int(this > 1000) = 80 Yeah that looks pretty useful. In JavaScript land, I just do this with zod to crash the server on startup, but I can't remember if there's already an easy way to do it with the java/kotlin/gos