Type Alias ScreenItemIdCheck<Id>

ScreenItemIdCheck: string extends Id
    ? { "an item id is a string literal": never }
    : Id extends ScreenId
        ? { "an item id is its own literal, not a ScreenId": Id }
        : unknown

An item's id must be a literal of its own: not a bare string, not a ScreenId.