Кроме того, в примере может быть банальная вещь - попытка отвязаться от ругани (warnings) компилера при несоответствии типов в его понимании. Из полезностей использования таких "глупостей" припоминаются сишные функции работы со строками - там достаточно часто используются const указатели на строку (например, формат). В таком варианте компилеру вроде бы должно быть легче разбираться с длинами строк (например, в интерпретаторе Ch употребляется модификатор restrict - обозначает именно то, что строке обязательно должна быть выделена память перед "употреблением").