https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62085
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
For a short piece of code with no external dependencies it's simpler to just
paste it into a comment than attach it:
template<typename T>
struct A {
T f();
};
template<typename T, typename Enable=void> struct B {};
template<typename T> struct B<T, typename A<T>::type> {};
struct C {
virtual ~C() = 0;
};
int main() {
B<C>();
}
EDG rejects it for the same reason as GCC.
