[cfe-dev] Flag for better diagnosing errors in member templates

[Johannes Schaub]

I would appreciate a clang flag that leads to better diagnosis in member 
templates. Consider

     template<typename T>
     struct A {
       template<typename U>
       void f(U u) {
         T t;
         // ...
       }
     };

     struct B;
     template struct A<B>;

A<B>::f's definition is ill-formed without a diagnostic being required 
and Clang does not diagnose it. But Clang aims for catching as many bugs 
as possible in user programs, and finding this bug appears to be 
possible with the current clang abilities.

What do you think?