It turns out that reversed works in O(1), it does not allocate memorry!!!!!! So maybe this is reason why it is fast

Sorry it is actually correct because s.startIndex equals to s.endIndex when string is Empty. I didn't know that! THANK YOU

it is fail in case when string is empty, because index != s.startIndex is true and when s.index(before: index) it is out of boundary