Branded schema doesn't provide the type guard thru the `is`. about valibot

[genki]

@fabian-hiller Ah, I see.
I will use Input instead of Output.
Thank you :)

[fabian-hiller]

As written here, is has some limitations. One of them is that it can only secure the input type, but not the output type. Therefore you need to change Output to Input. With the current implementation, only the output type is branded. Therefore is does not work with brand. If there are good reasons to also brand the input type, I will be happy to take a closer look at the implementation.

import * as v from 'valibot';

const UserIDSchema = v.brand(v.string([v.length(12)]), 'UserID');
type UserID = v.Input<typeof UserIDSchema>; // <-- Change here

const logUserID = (uid: UserID) => {
  console.log(uid);
};

const foo = '123456789012';
if (v.is(UserIDSchema, foo)) {
  logUserID(foo);
}