<@U0F8Y5E5A> Surprisingly, the compiler is not fla...

# random

[cedric]

@mg6maciej Surprisingly, the compiler is not flagging this as “will always be `false`”

[mg6maciej]

You never know. There might be an alternative universe where this is actually always true.

[bamdmux]

The universe where all languages are untyped. Not the most efficient of the universes...

[miha-x64]

x is Class1 && x is Class2 should be an error.

[mg6maciej]

Not when open class Class2 && class Class1 : Class2 😉

[mg6maciej]

Could be a warning tho.

[cedric]

@miha-x64 Why would it be an error?

interface A {}
    interface B {}
    class Z : A,B

    val a: Z? = null
    val b = a is A && a is B

[mg6maciej]

@miha-x64 specifically mentioned 2 classes.

[mg6maciej]

For interfaces it's cool. Kinda quasimodo-union types.