{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                elt_span: element.span,
            self.require_type_meets(element_ty, element.span, code, lang_item);