{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"spec.width_span"}]}
                spec.width_span = Some(range.start..r.end);
                spec.width = CountIsParam(0);
                havewidth = true;