Brachylog, 7 bytes

d~k≠tℕ₁

Try it online!

Seems not to need an explicit label to function properly.

 ~k        Append something to
d          the deduplicated input
   ≠       such that all elements are distinct
    t      and the new last element
     ℕ₁    is a positive integer
           which is output.