Giters

eed3si9n / scalaxb

scalaxb is an XML data binding tool for Scala.

Home Page:http://scalaxb.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

aleksandr-vin opened this issue · comments

commented 
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]