{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                type_op_info.report_erroneous_element(mbcx, placeholder, error_element, cause);
            UniverseInfo::Other => {