`v-model` on checkbox producing typing error when used with `true-value` and `false-value`

[roydukkey]

Vue version

3.2.45

Link to minimal reproduction

https://sfc.vuejs.org/#eNpNUEFSwzAM/IrGl8IMSe4lzQxv4OpLmiipiy17bDnQCfk78oRCfZLW0u5qV/UWQr1kVEfVMrpge8ZOE8hrQ/eOFgc2no6wrsB+ni3CtrVNuM8YCplhqZwf0Z602me0Ar4FlH644PBx9l8FiRmrpbe54DdMAk29Tf8YeYEaYW6bByvSpiGawGB7motE2UzIuZjQZFzwkWGFiBNsMEXv4CAXHV41DZ4S332fykSbOBqa4RsyjTgZwrF7+iufZafI74JCr17Uzl+5PtTX5EmCWsvt+vdDzEg4expaiW7ptbowh3RsmjQNJd5rqn2cG6nqmImNwxqTq87RfyaMQqxVodg0bWr7AeznjLA=

Steps to reproduce

Following the directions for true-value and false-value checkboxes, the v-model property warns of an incorrect type.

What is expected?

The true-value and false-value property type should influence the expected types of the v-model property.

What is actually happening?

The v-model property is restrict to

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

Line 474 in e340add

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

System Info

No response

Any additional comments?

This was first reported at vuejs/language-tools#2341. The suggested solution fixes the type error, however it then prevents utilising const toggle as a string in the script.

[AlexVagrant]

core/packages/runtime-dom/src/directives/vModel.ts

Line 251 in 7d0c63f

el: HTMLInputElement & { _trueValue?: any; _falseValue?: any },

getCheckboxValue define _typeValue and _falseValue type is _trueValue?: any _falseValue?: any

core/packages/runtime-dom/src/patchProp.ts

Line 52 in c6eb3cc

// store value as dom properties since non-string values will be

that mean's true-value and false-value is any type of data

core/packages/runtime-dom/src/directives/vModel.ts

Line 159 in 7d0c63f

el.checked = looseEqual(value, getCheckboxValue(el, true))

core/packages/runtime-dom/src/directives/vModel.ts

Line 153 in 7d0c63f

;(el as any)._modelValue = value

Input v-model actual value is _modelValue, toggle's type should be the same as _modelValue type, no same as checked.

So I think this is a volar type checking problem.

[roydukkey]

So I think this is a volar type checking problem.

@johnsoncodehk cc

[AlexVagrant]

See: vuejs/language-tools#2417