Is there a reason for the smart cast not happening when using `.not()` instead of `!`?

# announcements

[gian]

Is there a reason for the smart cast not happening when using .not() instead of !?

[Rafa]

Pretty sure it’s just one that isn’t explicitly tracked by the compiler. If you wanted it to do the smart cast there you could define a contract

[Sergei Dubrov [JB]]

@gian it looks like a bug or feature to implement. Please report it at https://youtrack.jetbrains.com/issues/KT.

[louiscad]

For future recurrence, https://kotl.in/issue is a good shortcut to know 🙂

[Margarita Bobova]

@gian Thank you! Created: https://youtrack.jetbrains.com/issue/KT-35981

[gian]

Thank you!