yes, but one inherits from the other, so I’m not sure if that quite explains it all

Where did you remove Mutable from? I don't see it anywhere in your screenshot other than in the error message. Can't help but feel like I'm missing a piece.

ah yes, sorry I changed

mapOf(

where the error is to

mutableMapOf

which fixed the error, but then just now I decided to try removing

mutable

to see the error again, and it didn't come up again. I'm guessing this was just some plugin weirdness...

I feel hard done by

intelliJ's static code analysis says what im doing is dumb because its always true

the kotlin compilers static analysis sais what im doing is dumb because I dont cover every case

@groostav uploaded a file:

oh, and interestingly

is Any

doesnt count as exhaustive

--on a non-nullable type.

out of curiosity, what’s the return type of

instanceCache.getValue()

?

instanceCache

is a

Map<Class, Library>

,

getValue

is the stdlib extension function

long way of saying its a

com.sun.jna.Library

ahhh, okay, I see

so this looks kind of funky I think because the IDE doesn’t have a better way of concisely expressing it

the

when

statement can’t ever really be exhaustive on types because

Library

isn’t a sealed class

well

or, rather,

Library

isn’t part of a type hierarchy based on a sealed class with a fixed amount of enumerated types

i belive

val x = when {
  true ->  "hi"
}

is considered exhaustive is it not?

its not!

i take it back

so the concept of an exhaustive when statement only applies to sealed classes

it doesnt apply to general tautalogies

this has got to be a feature request...

specifically when you’re using

is

comparisons to provide the conditional branches

there are other ways to make

when

exhaustive (without using

else

), but none of them are immediately coming to mind, unfortunately

but, yeah, the compiler doesn’t resolve tautologies for when statements, I guess

kotlin could be the first compiler to embed a constraint solver (take that scala :p), but now im into #random....

I’d wager the language folks would consider that out of scope 😛

What is the standard idiom for unsigned conversion from Int to Long?