how to invoke the _Verify_range in vector in c++? : 
my code 
```c++
#include <iostream>
#include <vector>
#include <algorithm>
using std::vector;
using std::cout;
using std::endl;
using std::back_inserter;


int main(void) {

    vector<int> coll1 {1, 2, 3, 4};
    vector<int> coll2;

    copy(coll1.begin(), coll1.end(), back_inserter(coll2));

    const auto start = coll2.cbegin();
    const auto stop = coll2.cend();

    // start: class std::_Vector_const_iterator<class std::_Vector_val<struct std::_Simple_types<int> > >
    cout << typeid(start).name() << endl;

    // _ITERATOR_DEBUG_LEVEL: 2
    cout << _ITERATOR_DEBUG_LEVEL << endl;

    std::_Verify_range(start, stop);

    for (auto ele: coll2)
        cout << ele << ", " << ele << endl;

    return 0;
}

```

compile error
```
error C2672:  'std::_Verify_range': no matching overloaded function found
error C2784:  'void std::_Verify_range(const std::_Array_const_iterator<_Ty,_Size> &,const std::_Array_const_iterator<_Ty,_Size> &) noexcept': could not deduce template argument for 'const std::_Array_const_iterator<_Ty,_Size> &' from 'const std::_Vector_const_iterator<std::_Vector_val<std::_Simple_types<_Ty>>>'
error C2784:         with
error C2784:         [
error C2784:             _Ty=int
error C2784:         ]
VC\14.22.27905\include\xutility(1467): message :  see declaration of 'std::_Verify_range'
error C2784:  'void std::_Verify_range(const std::reverse_iterator<_BidIt> &,const std::reverse_iterator<_BidIt2> &)': could not deduce template argument for 'const std::reverse_iterator<_BidIt> &' from 'const std::_Vector_const_iterator<std::_Vector_val<std::_Simple_types<_Ty>>>'
error C2784:         with
error C2784:         [
error C2784:             _Ty=int
error C2784:         ]
VC\14.22.27905\include\xutility(983): message :  see declaration of 'std::_Verify_range'
error C2784:  'void std::_Verify_range(const _Ty *const ,const _Ty *const ) noexcept': could not deduce template argument for 'const _Ty *const ' from 'const std::_Vector_const_iterator<std::_Vector_val<std::_Simple_types<_Ty>>>'
error C2784:         with
error C2784:         [
error C2784:             _Ty=int
error C2784:         ]
VC\14.22.27905\include\xutility(193): message :  see declaration of 'std::_Verify_range'

```


this is the code in vector
```

// CLASS TEMPLATE _Vector_const_iterator
template <class _Myvec>
class _Vector_const_iterator : public _Iterator_base {
public:

    ...

#if _ITERATOR_DEBUG_LEVEL != 0
    friend void _Verify_range(const _Vector_const_iterator& _First, const _Vector_const_iterator& _Last) {
        _STL_VERIFY(_First._Getcont() == _Last._Getcont(), "vector iterators in range are from different containers");
        _STL_VERIFY(_First._Ptr <= _Last._Ptr, "vector iterator range transposed");
    }
#endif // _ITERATOR_DEBUG_LEVEL != 0

    ...
}
```

the compiler seems only try to match this three prototype function: 
```
void std::_Verify_range(const std::_Array_const_iterator<_Ty,_Size> &,const std::_Array_const_iterator<_Ty,_Size> &);

and 

void std::_Verify_range(const std::reverse_iterator<_BidIt> &,const std::reverse_iterator<_BidIt2> &)

and 

void std::_Verify_range(const _Ty *const ,const _Ty *const ) noexcept;
```



can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?
can anyone help me to figure it out?