onShardVersionMismatch in src/mongo/db/s/shard_filtering_metadata_refresh.cpp is marked noexcept, meaning any exception which escapes the context will terminate the server. AutoGetCollection can throw an exception if it can't get the collection lock for any reason, including step down. So a badly timed step down crashes the process.