< christophsturm> yes that s why we wrote such a function we kotlinlang #intellij

<@U0FMXU16E> yes, that's why we wrote such a funct...

natpryce

05/18/2017, 10:16 AM

@christophsturm yes, that's why we wrote such a function (we called it

exhaustive

). My request is for this use case of !! not to flag a warning, so that we don't have to have a function that duplicates something in the language.