bug-brain

How would I model the type `Record`? I would have expected `v.record(v.union([v.literal("a"), v.literal("b")]), v.number())` but that makes the keys optional and adds undefined as you mentioned. The function `required` only...

While this improves validation the inferred output type is `{ a: number } & Record` which is basically `never` because `"a"` matches `string` and has to have a `string &...

Just to be clear I was trying out this ```ts import * as v from 'valibot'; const Schema = v.object({ a: v.number() }, v.string()); const obj: v.Output = { a:...

I don't think it is feasible to check the key types for overlaps during the construction of the schema because the main purpose of this library is to check concrete...