bod05/11/2020, 8:49 AM
and want to express that if
fun parseDate(dateStr: String?): Date?
then the result will be
- and also the opposite. Possible?
rafi05/11/2020, 9:18 AM
bod05/11/2020, 9:23 AM
rafi05/11/2020, 11:55 AM
bod05/11/2020, 12:10 PM
val d: Date = parseDate(nonNullStr)
can return null according to the compiler, even though it's not possible in that case)
dmitriy.novozhilov05/12/2020, 10:04 AM
means that "if call
returnsNotNull() implies dateStr != Null
returned not null than `str != null`" There is no support of contracts that you want but we are considering support this case
bod05/12/2020, 10:07 AM