import test.Sub; class SubSub : Sub() class Client(val prop: T) fun withTypeParam() {} fun withCallRefArg(arg: Sub.() -> String) {} fun Sub.extension() {} fun test() { Sub().unresolved() SubSub().unresolved() val obj = object : Sub() {} withCallRefArg(Sub::resolved) Sub().resolved() Sub().extension() }