Proposed resolution:

This wording is relative to the FDIS.

1. Modify the header <iterator> synopsis in [iterator.synopsis]:

   namespace std {
     […]
     template <class Iterator>
     move_iterator<Iterator> make_move_iterator(const Iterator&Iterator i);
   
     […]
   }
   

2. Modify the class template move_iterator synopsis in [move.iterator]:

   namespace std {
     […]
     template <class Iterator>
     move_iterator<Iterator> make_move_iterator(const Iterator&Iterator i);
   }
   

3. Modify [move.iter.nonmember]:

   template <class Iterator>
   move_iterator<Iterator> make_move_iterator(const Iterator&Iterator i);
   

   -3- Returns: move_iterator<Iterator>(i).

[ 2011 Bloomington. ]

Move to Ready.

The standard library always passes template iterators by value and never by reference, which has the nice effect that an array decays to a pointer. There is one exception: make_move_iterator.

#include <iterator>
int main(){
  int a[]={1,2,3,4};
  std::make_move_iterator(a+4);
  std::make_move_iterator(a); // fails here
}