это не так, что и можно видеть в данной схеме(приведена просто для примера):
code_17184.txt

тут верхние точки StrCat имеют явно указанные типы (точки Str1 и Str2 серые, а не зеленые) и кодогенератор знает, что внешние данные нужно приводить к типу String. Ну и result нормально работает, потому что при портировании учтены особенности языка object pascal.