{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            RegionNameHighlight::CannotMatchHirTy(span, Symbol::intern(&type_name))
            RegionNameHighlight::Occluded(span, Symbol::intern(&type_name))