search

eed3si9n / scalaxb

scalaxb is an XML data binding tool for Scala.
http://scalaxb.org/
MIT License
335 stars 154 forks source link

Warning at target/scala-2.13/src_managed/main/sbt-scalaxb/soap/xmlprotocol.scala:61:65 match may not be exhaustive. #580

Open aleksandr-vin opened 2 years ago

aleksandr-vin commented 2 years ago 
target/scala-2.13/src_managed/main/sbt-scalaxb/soap/xmlprotocol.scala:61:65
match may not be exhaustive.
It would fail on the following input: (x: _ forSome x not in soapenvelope11.Detail)
              case x: scalaxb.Soap11Fault[_] if x.detail.exists { case soapenvelope11.Detail(any, _) => any.headOption.exists(_.key.contains("WsBusinessFault")) } => x.asFault[soap.WsBusinessFault]

and on the next line:

target/scala-2.13/src_managed/main/sbt-scalaxb/soap/xmlprotocol.scala:62:65
match may not be exhaustive.
It would fail on the following input: (x: _ forSome x not in soapenvelope11.Detail)
              case x: scalaxb.Soap11Fault[_] if x.detail.exists { case soapenvelope11.Detail(any, _) => any.headOption.exists(_.key.contains("SystemFault")) } => x.asFault[soap.SystemFault]