Ticket #4355: test.cpp

#include <iostream>
#include <iterator>
#include <utility>

#include <boost/cstdlib.hpp>

#include <boost/type_traits/is_base_and_derived.hpp>

#include <boost/concept/requires.hpp>
#include <boost/concept_check.hpp>

#include <boost/iterator/iterator_categories.hpp>

#define BOOST_RANGE_ENABLE_CONCEPT_ASSERT 1
#include <boost/range/concepts.hpp>

typedef int ValueType;

template <typename T = ValueType>
struct Iterator : std::iterator<std::bidirectional_iterator_tag, T>
{
    typedef std::iterator<std::bidirectional_iterator_tag, T> base;

    typedef typename std::iterator_traits<base>::value_type value_type;
    typedef typename std::iterator_traits<base>::difference_type difference_type;
    typedef typename std::iterator_traits<base>::reference reference;
    typedef typename std::iterator_traits<base>::pointer pointer;
    typedef typename std::iterator_traits<base>::iterator_category iterator_category;

    Iterator(const Iterator&);
    Iterator* operator&(void);
    const Iterator* operator&(void) const;
    Iterator& operator++(void);
    Iterator operator++(int);
    bool operator==(const Iterator&) const;
    bool operator!=(const Iterator&) const;
    Iterator();
    Iterator& operator--(void);
    Iterator operator--(int);
};

struct Container
{
    typedef Iterator<ValueType>         iterator;
    typedef Iterator<const ValueType>   const_iterator;
    iterator begin(void);
    const_iterator begin(void) const;
    iterator end(void);
    const_iterator end(void) const;
};


template <typename T>
BOOST_CONCEPT_REQUIRES
(
    ((boost::BidirectionalRangeConcept<Container>))
    ((boost::BidirectionalRangeConcept<std::pair<Iterator<>, Iterator<> > >))
    ((boost::BidirectionalRangeConcept<ValueType[68]>))
  , (void)
)
check(...)
{}


int main(void)
{
    return boost::exit_success;
}