@ExperimentalContracts | |
fun User?.isComplete(): Boolean { | |
contract { returns(true) implies (this@isComplete != null) } | |
return this != null && this.isValid() | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment