Proposed resolution:

This wording is relative to N4687.

1. Edit [fs.op.copy] p4, bullet 4.8.2 as indicated:

   1. (4.7) — Otherwise, if is_regular_file(f), then:

      […]

   2. (4.8) — Otherwise, if

      is_directory(f) &&
      ((options & copy_options::recursive) != copy_options::none ||
      options == copy_options::none)
      

      then:

      1. (4.8.1) — If exists(t) is false, then create_directory(to, from).

      2. (4.8.2) — Then, iterate over the files in from, as if by

         for (const directory_entry& x : directory_iterator(from))
           copy(x.path(), to/x.path().filename(), options | copy_options::unspecifiedin-recursive-copy);
         

         where in-recursive-copy is an bitmask element of copy_options that is not one of the elements in [fs.enum.copy.opts].

   3. (4.9) — Otherwise, for the signature with argument ec, ec.clear().

   4. (4.10) — Otherwise, no effects.