Is it bug ? that InputHTMLAttributes.checked type is not any

[hikaruna]

core/packages/runtime-dom/types/jsx.d.ts

Line 461 in 0c7fd13

checked?: Booleanish | any[] | Set<any> // for IDE v-model multi-checkbox support

checked?: Booleanish | any[] | Set // for IDE v-model multi-checkbox support

But

https://vuejs.org/guide/essentials/forms.html#checkbox-1

said

v-model can assign any value.
ex: 'yes'

Is this bug?