| @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