Consider:

  struct B { template <class T> void h(); };
  template <class T> struct A {
    template <class U> static U f(U);
    void g() {
     f(B()).h<int>(); // OK, f(B()) is non-type-dependent with type B.
    }
  }; 

A member template ought to be dependent only if it depends on template parameters of the current scope, but 13.8.3.3 [temp.dep.expr] paragraph 3 is silent on the matter.