Effects: Using 
status(p) or 
status(p, ec), respectively,
  to determine existence,
  return a path composed by 
operator/=
  from the result of calling 
canonical()
  with a path argument composed of
  the leading elements of 
p that exist, if any, followed by
  the elements of 
p that do not exist, if any
.