Well they list all of the allowed boolean expressi...
# announcementsk
karelpeeters
09/27/2018, 6:36 PMWell they list all of the allowed boolean expressions here under notes (https://github.com/Kotlin/KEEP/blob/3490e847fe51aa6deb869654029a5a514638700e/proposals/kotlin-contracts.md#declaration-syntax):
even though implies takes a Boolean argument, actually only a subset of valid Kotlin expressions is accepted: namely, null-checks (,== null), instance-checks (!= null,is), logic operators (!is,&&,||)!