Cómo detectar si un método es virtual?

Traté de hacer un rasgos para encontrar si un método es virtual: (https://ideone.com/9pfaCZ )

// Seveval structs which should fail depending if T::f is virtual or not.
template <typename T> struct Dvf : T { void f() final; };
template <typename T> struct Dvo : T { void f() override; };
template <typename T> struct Dnv : T { void f() = delete; };

template <typename U>
class has_virtual_f
{
private:
    template <std::size_t N> struct helper {};
    template <typename T>
    static std::uint8_t check(helper<sizeof(Dvf<T>)>*);
    template<typename T> static std::uint16_t check(...);
public:
    static
    constexpr bool value = sizeof(check<U>(0)) == sizeof(std::uint8_t);
};

Casos de prueba:

struct V  { virtual void f(); };
struct NV {         void f(); };
struct E  {                   };
struct F  { virtual void f() final; }; // Bonus (unspecified expected output)

static_assert( has_virtual_f< V>::value, "");
static_assert(!has_virtual_f<NV>::value, "");
static_assert(!has_virtual_f< E>::value, "");

Pero tengo error: 'void Dvf<T>::f() [with T = NV]' marked final, but is not virtual.
Si no utilizo sizeof y directamente Dvf<T>* en check, no tengo error de compilación, pero check no se descarta para el tipo "malo" en SFINAE :( .

¿Cuál es la forma correcta de detectar si un método es virtual?