Учитывая функцию:
fun foo(paramer: ParameterType?): ReturnType?
Теперь я хотел бы написать контракт, в котором говорится, что если ParameterType не равен нулю, то ReturnType не равен нулю.Но я не вижу, как это может быть достигнуто с текущим API