template <class T>
class BBB
{
};

template <class T>
class AAA : public BBB<AAA<T> >
{
public:
  void DoSomething();
};

void test()
{
  AAA<double> d;
  d.DoSomething();
}

template<typename element_type, typename derived_type>
class IArray
{
public:
	const element_type &operator[](unsigned int element_index) const;
	element_type &operator[](unsigned int element_index);

	void i_array_function();
};

template<typename element_type, typename derived_type>
class ArrayBase : public IArray<element_type, derived_type>
{
public:
	void base_function();
};

template<int element_count, typename element_type>
struct ArrayDerived : public ArrayBase<element_type, ArrayDerived<element_count, element_type> >
{
public:
	void derived_function();
};

inline void test()
{
	// ArrayDerived<32, int>::    // suggestions work

	ArrayDerived<32, int> thing;
	thing.i_array_function();
	// thing.                     // suggestions don't work
}