I do not fully agree.
"so the function is guaranteed that the data from the "unque" pointer is not reachable from any other pointer"
But the data pointed by ptr1 could be reached by ptr2 in main.
"this is a gurantee that the paraemeter coming into the function is unique"
Not unique, ptr1 and ptr2 point to the same memory.