[Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails

[redi at gcc dot gnu.org]

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.