I am using the HTMLForm API in an extension.

$formDescriptor = [
	'vote' => [
		'type' => 'radio',
		'options' => [
			'yes' => 'yes',
			'no' => 'no',
		],
		'required' => true
	]
];

$htmlForm = new HTMLForm( $formDescriptor );

I would expect the generated HTML to set the required HTML attribute for at least one of the <input type=radio> tags. However that is not the case.
For other input types like text this works as expected, for radio it does not.