Вопрос по
@JvmDefault из доклада: а почему собственно в java-классах, имплементирующих kotlin-интерфейсы с дефолтными реализациями методов, не видны эти самые дефолтные реализации методов? Не силен в том, что делает котлин под капотом. И сопутствующий вопрос: можно ли будет пометить
@JvmDefault дефолтный геттер для какого-нибудь свойства из kotlin-интерфейса, чтобы не переопределять его в классе, реализующего такой интерфейс?