test case

authors should not use aria-checked on native input type=radio or input type=checkbox elements.

Related to this, per the note in ARIA in HTML

The HTML checked attribute can be used instead of the aria-checked attribute for menuitemcheckbox, option or switch roles when used on type=checkbox.

an <input type=checkbox role=switch> would not require an aria-checked attribute be present, because the native checked attribute and the checkbox's dirty checkedness would be sufficient to indicate the checked state for a switch, and similar roles.