Radios and checkboxes not rendered correctly when nested inside other render arrays

Ran into this while working on Radios in a table.

I looked into the form processing a little bit, and confirmed #12 🐛 Radios and checkboxes not rendered correctly when nested inside other render arrays Active . \Drupal\Core\Render\Element\Radios::processRadios was not being run on radios elements within a table.

My temp solution was "whatever it takes" to get the radios working and I ended up with this method:

/**
 * Takes a normal render array for a radios element and makes it work within
 * a rendered table element. This solves a core Drupal bug where Radios are
 * not rendered at all within a table.
 *
 * @link https://www.drupal.org/project/drupal/issues/3246825
 *
 * @param array $radios
 *   Normal radios render array.
 *
 * @return array
 *   Fixed render array with child Radio (singular) elements.
 */
public function fixNestedRadios(array &$form, array $render_parents, string $render_name, array $radios): array {
  // First item in the parents array is the "tree name".
  $tree_name = reset($render_parents);


  // This container contains a hidden field that registers the $tree_name with
  // the $form_state. This trick allows our custom-rendered radios to be found
  // in $form_state->getValue($tree_name);
  if ($tree_name && !isset($form[$tree_name])) {
    $form[$tree_name] = [
      '#type' => 'hidden',
    ];
  }

  // Build the <input> element names and ids we'll need.
  $parent_names = $render_parents;
  $parent_name = array_shift($parent_names);
  if ($parent_name && $parent_names) {
    $parent_name .= '[' . implode('][', $parent_names) . ']';
  }

  $child_name = $parent_name ?
    $parent_name . "[$render_name]" :
    $render_name;

  $radios['#id'] = $radios['#id'] ?? Html::getUniqueId($child_name);
  $radios['#title_display'] = $radios['#title_display'] ?? 'visible';
  $radios['#description_display'] = $radios['#description_display'] ?? 'visible';
  $radios['#default_value'] = $radios['#default_value'] ?? FALSE;
  $radios['#attributes'] = $radios['#attributes'] ?? [];
  $radios['#parents'] = $render_parents;

  // Render each of the radios options as a single radio element. Neither
  // $form nor $form_state are actually used in this process, just required.
  $form_state = new FormState();
  $radios = Element\Radios::processRadios($radios, $form_state, $form);

  foreach (Element::children($radios) as $index) {
    // Radios::processRadios() doesn't set the #value field for the child radio
    // elements, but later the Radio::preRenderRadio() method will expect it. We
    // can set these values from the $radios #default_value if needed.
    // - '#return_value' is the "value='123'" attribute for the form element.
    // - '#value' is the over-all value of the radios group of elements.
    $radios[$index]['#value'] = $radios[$index]['#value'] ?? $radios['#default_value'];

    // Some other part of the rendering process isn't working, and this field
    // rendered as an <input> ends up not having a "name" attribute.
    $radios[$index]['#name'] = $child_name;
  }

  return $radios;
}

Maybe these things I had to do to make it work can be a clue for someone more familiar with the how forms -> render arrays -> forms work.