标签： kotlin contract
给出一个功能：
fun foo(paramer: ParameterType?): ReturnType?
现在，我想写一个合同，说明如果ParameterType不为null则ReturnType不为null。但是我看不到用当前的API如何实现