[E029] Pattern Match Exhaustivity Warning: ... ReceiveResult.MsgFromServer(_)

[ryanberckmans]

[warn] -- [E029] Pattern Match Exhaustivity Warning: noric-bot/src/main/scala/Bot.scala:21:35
[warn] 21 |    if (isConnected) socket.receive() match {
[warn]    |                     ^^^^^^^^^^^^^^^^
[warn]    |           match may not be exhaustive.
[warn]    |
[warn]    |           It would fail on pattern case: ReceiveResult.MsgFromServer(_)
[warn] -- Warning: noric-bot/src/main/scala/Bot.scala:23:11
[warn] 23 |      case m:MsgFromServer => {
[warn]    |           ^^^^^^^^^^^^^^^
[warn]    |        the type test for Bot.MsgFromServer cannot be checked at runtime
[warn] two warnings found

We can see that the type Bot.MsgFromServer is defined as export ClientSocket.MsgFromServer which itself is defined as export ReceiveResult._.

The intention is for the type Bot.MsgFromServer to be equal to ClientSocket.ReceiveResult.MsgFromServer without exposing the other values of the enum ReceiveResult.

I believe this warning is due to an interaction between export and pattern matching. There has been no runtime consequence.