Re: Idea to verify virtual/final methods

[bearophile]

Jacob Carlborg:

struct virtual {} // the UDA

class Foo
{
    void a () {} // static assert, not declared as @virtual
    @virtual void b () {} // ok

@virtual final void c () {} // static assert, declared as final and @virtual

    final d () {} // ok
}

checkVirtual!(Foo);

Is it possible to also write:

checkVirtual!myModuleName;

And verify all the classes in a module?

Bye,
bearophile