{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    throw_ub!(UninhabitedEnumVariantRead(Some(index)));
                // Since the type is inhabited, there must be an index.