Context sensitive resolution: why doesn’t it work ...

# language-evolution

[Shaun Wild]

Context sensitive resolution: why doesn’t it work for classes in sealed hierarchies?

[Shaun Wild]

IMG_4548.png

[CLOVIS]

It doesn't work for function calls. I think it would work if it was just an object ?

Here, your best bet is probably a static import

[Shaun Wild]

Yes it works for objects

[Shaun Wild]

See my example

[Shaun Wild]

Why can’t it work for constructor invocations?

[CLOVIS]

It's not that it can't, it's that it was judged that function calls (including constructors) would be too confusing if they were implicitly implied.

[CLOVIS]

Relevant section in the KEEP: https://github.com/Kotlin/KEEP/blob/improved-resolution-expected-type/proposals/context-sensitive-resolution.md#no-argument-callables

[Alejandro Serrano.Mena]

As @CLOVIS mentions, context-sensitive resolution does not work on function calls in general. The main design reason for this is that it can make the search (and compilation time) blow up; right now only "things without parameters" are context-sensitive looked up

[Shaun Wild]

👍🏻