// PR c++/18407

// APPLE LOCAL mainline 2006-10-13 3904173
template <typename Klasse>
struct the_base{
  // APPLE LOCAL mainline 2006-10-13 3904173
  template <void (Klasse::*Fn)()> void foo() { }
};

template <typename T>
struct derivedT: the_base<derivedT<T> > {
  typedef the_base<derivedT<T> > parent;
  void ice(){
    this->parent::template foo< &derivedT<T>::ice>();
  }
};

int main() {
  derivedT<int> dT;
  dT.ice();
}