Is this possibly a K2 mode bug in IntelliJ? It's a...

# intellij

[kevin.cianfarini]

Is this possibly a K2 mode bug in IntelliJ? It's an expect enum class in kotlinx-datetime

[kevin.cianfarini]

I enabled -Werror and compilation fails with the else branch saying it’s unnecessary.

[Anna Kozlova]

If you retype when, won't the error go away? I can't reproduce locally and suspect that the highlighting is left from the time when not all enum entries were written.

[kevin.cianfarini]

Nope, it remains. Want to try checking this repository out? This is where’s it’s happening. https://github.com/kevincianfarini/cardiologist/blob/trunk/src/commonMain/kotlin/io/github/kevincianfarini/cardiologist/impl/LocalDateTime.kt#L[…]77

[Anna Kozlova]

Oh, indeed within common code it's reproducible for me as well. Will create a YT issue. Thanks!

[kevin.cianfarini]

Awesome. Glad I raised it. Thanks for taking a peek 😄

[Anna Kozlova]

With a help of team mates: it's actually a correct error though not evident at all! Actual enum might provide more entries than expect enum and thus you would always need else branch. You might want to complain about better error message but it's better to do in #C03PK0PE257 probably. Plugin just shows you compiler's error message.

[kevin.cianfarini]

Hm, then why does enabling -Werror flag the else branch and fail compilation? Either the compiler or IntelliJ is wrong here and I’m not sure which it is 😅

[Anna Kozlova]

I'd say that compiler should not do suggest you to delete else branch.

[kevin.cianfarini]

Should I flag that in #C7L3JB43G or #C03PK0PE257?

[kevin.cianfarini]

This is the PR with the change https://github.com/kevincianfarini/cardiologist/pull/114/files

[Anna Kozlova]

Both should do, I believe

[kevin.cianfarini]

It seems like this when statement without an else branch shouldn’t compile at all