It seems like there’s a problem inferring type her...

# announcements

[rook]

It seems like there’s a problem inferring type here. Am I doing something incorrectly?

-.kt

[Shawn]

var makes smart-casting impossible in this case

[Shawn]

try swapping your when out for this one

[Shawn]

when(val contained = bindee.containee) {
            is Foo -> bind(contained)
            is Bar -> bind(contained)
        }

[rook]

Thanks so much! I should have seen that was the issue

[rook]

Strangely, compilation succeeds, but my IDE says that None of the following functions can be called with the arguments supplied

[Shawn]

🤨

[Shawn]

bizarre

[rook]

I’m not sure if it’s a lint issue or what

[Marat Akhin]

It may be because of the new inference engine, which is atm enabled in the IDE, but disabled in the compiler
That may warrant creating a new issue in YT

[rook]

https://youtrack.jetbrains.com/issue/KT-32949