ujson.Bool.unapply generates match may not be exhaustive warning #456
Description
The following code:
ujson.Bool(true) match {
case ujson.Bool(v) =>
}generates the following warning:
ujson.Bool(true) match {
^^^^^^^^^^^^^^^^
match may not be exhaustive.
It would fail on pattern case: False, TrueThe problem is in the unapply signature:
def unapply(bool: Bool): Option[Boolean] = Some(bool.value)should instead be:
def unapply(bool: Bool): Some[Boolean] = Some(bool.value)