Proposed resolution:

This wording is relative to N4849.

1. Modify [counted.iter.const] as indicated:

   constexpr counted_iterator(I i, iter_difference_t<I> n);
   

   -1- Preconditions: n >= 0.

   -2- Effects: Initializes current with std::move(i) and length with n.

[ 2020-02 Prioritized as IMMEDIATE Monday morning in Prague ]

P1207R4 ("Movability of single-pass iterators") introduces the notion of a move-only non-forward iterator and makes some changes to the iterator adaptor counted_iterator in order to support move-only iterators.

The problem is that the constructor of counted_iterator ([counted.iter.const] p2) accepting such an iterator is specified as "Initializes current with i" which would attempt copy-constructing current from i instead of move-constructing it.