Вышел компиляторный плагин Arrow Analysis, который добавляет кучу дополнительных проверок для вашего кода на этапе компиляции. Если попробуете, расскажите в обсуждениях, как использование плагина влияет на скорость компиляции – подозреваю, что не очень хорошо.
https://www.47deg.com/blog/arrow-analysis-kotlin-compiler-plugin/