fix repr of unique vectors with stage0 libstd