Раздел Overload
спецификации языка kotlin касается этого, он заявляет
Когда При вычислении наборов кандидатов на перегрузку вызываемые элементы создают следующие отдельные наборы (, упорядоченные по приоритету в первую очередь ):
Member function-like callables;
Member property-like callables.
, но в спецификации все еще, кажется, работа в процессе, так как она содержит много TODO, один конкретный c TODO, который будет иметь отношение к вашему вопросу, находится в ссылочных ссылках раздел
TODO (Мы можем получить новую неоднозначность между реквизитами и забавами с одним и тем же именем)
Так что, кажется, можно получить определенный ответ, вам придется подождать, пока не наступит срок действия спецификации языка.