Which label does this three-element command produce?

using System;

string[] args = ["ship", "A-17", "--priority"];

string result = args switch
{
    ["ship", var id] => $"standard {id}",
    ["ship", var id, "--priority"] => $"priority {id}",
    [var command, ..] => $"unknown {command}"
};

Console.WriteLine(result);