Game says no longer queued for ranked after casual match

Title: game says no longer queued for ranked after casual match

Summary: After being matched for a casual match while I was playing survival mode, the game no longer reported “casual + ranked,” but instead just “casual” (unknown whether actually removed from ranked queue; am in silver and might just not have had opponents to play)

Steps to reproduce:

  1. enter both casual and ranked queues
  2. get matched for casual (in my case, while playing cruel survival)
  3. play the casual match and return to the game

Expected Results: overlay says “casual + ranked”

Actual Results: overlay has changed to just “casual” (and possibly also left ranked queue? Unclear)

Notes: this happened to me twice in a row, after I toggled “ranked” off and on to make sure I was in the queue

Attachments:

Game Version: October 2018

System Information: 2013 MacBook Pro, latest macOS

Here’s the log.