interface Foo { val Bar.foo: String get() = "" } interface Bar fun test(foo: Foo) { with(foo) { // 'foo' is a member and an extension at the same time. // References to such elements are prohibited. consume(Bar::foo) } } fun consume(f: (Bar) -> String) {}