{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // Only add a label if we can confirm that a region was labelled.
        if type_name.contains(&format!("'{counter}")) {
            RegionNameHighlight::CannotMatchHirTy(span, Symbol::intern(&type_name))