Why does this member function accept the class/constructor as a generic parameter?

Question

Why does the following code not result in a compile-time error?

    class B {}

    class W {
        fn