it’s more about type resolution on compile time, n...

# random

[gildor]

it’s more about type resolution on compile time, not about real method dispatching. As I understand that will not work with Java directly, you cannot pass Int to java method that requires specific interface that implemented with extension object