Ну в целом уже нашёл, если открыть сам kotlinc, там обнаруживается тот же bash и в числе прочего вижу там "noverify"

Но я не понимаю, могу я это просто закомментировать и жить счастливо, или оно для чего-то очень надо

И не понимаю, почему вообще kotlinc полагается на задепрекейченные штуки

Можешь.)
Kotlinc полагается на восьмёрку, там это легально.

Спасибо, попробую)

1. Гугли что это за флаги и нужны ли они тебе, подумай для чего их туда поставили
2. Разработка котлина нацелена на 6/8/11 jdk в качестве цели, используешь 13 - ссзб, будет следующий lte - его возьмут в качестве цели и уберут флаг
3. Даже когда его вырежут из jdk - ничего не сломается, они будут просто проигнорены

ОК, спасибо.

Насколько котлин совместим со спрингом? Полностью? Или чтото да работает криво и тд?

Если совсем немножко загуглить, можно увидеть, что Спринг официально поддерживает Котлин.

Можно попробовать сделать JDK8 в системе по умолчанию, вместо 13й

О, привет) Да, у меня примерно этим дело и кончилось.

Но мне кажется, что если Котлин не заморачивается полной поддержкой JDK13, то со стороны JB было бы неплохо внятно обозначить это в документации. А то открываешь текст про настройку окружения на официальном сайте, вроде делаешь всё как там написано, а лезут почему-то предупреждения — новичков такое наверняка сильно смущает. Если ты с этим согласен, передай там кому надо :)

Передам :)

А код фреймворка не переписывают на котлин? Или всем пофиг и просто юзают как есть?

Зачем переписывать, если оно работает из коробки?

Из доделок крупных только интеграция с корутинами, остальное мелочь и тянется в основном из сторонних либ, например Джексона

Ну может чтоб избавится от джавы хз

Зачем избавляться?

Хз, сократить код и вес либ

Может котлин быстрее, не знаю

Эм... Ты уверен что байт-кода будет меньше? Я вот уверен что больше

Это раз