{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
                module_children.iter().map(|child| child.res.def_id().index));
            // For non-enum, there is only one variant, and its def_id is the adt's.