fun main() = launch {
// block
}
@launchfun main() {
// block
}
Будет как с контрактами. По задумке их можно использовать только с инлайн функциями, потому что не понятно как поддержать в случае не-инлайн. А потом придёт усталый бекендер и придумает костыль, разрешаюший использовать их не только с инлайн функциями, только чтобы решить свою задачу. Этот костыль пустит корни и станет фичей. А усталый бекендер потом будет чинить корнер-кейсы.