You have likely found a case where type inference ...

# announcements

[mg6maciej]

You have likely found a case where type inference wasn't implemented. Please report this at kotl.in/issue as it might actually be something that is implementable.