Closed Hywan closed 7 years ago
It must be forbidden to call Some(null). Of course, Some(null)->isSome() is false, but it does not respect the semantics of the option.
Some(null)
Some(null)->isSome()
Fix #9.
Coverage remained the same at 100.0% when pulling c8aeec017438bba013c070ea71a79e26c5e3db41 on Hywan:some_null into a4daf8836f58912512672ad9ba04d282a57e3370 on hoaproject:master.
👍
It must be forbidden to call
Some(null)
. Of course,Some(null)->isSome()
is false, but it does not respect the semantics of the option.Fix #9.