This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
This bug is in ARIA 1.0 and beyond. Under aria-checked's "used in Roles", it says "option", and implicitly "radio" and "menuitemradio", but not "checkbox" or "menuitemcheckbox".