no error on invalid call to `__init_subclass__`

[DetachHead]

Describe the Bug

class Foo:
    def __init_subclass__(cls, asdf: int) -> None:
        pass


class Bar(Foo, asdf=1): ...
class Baz(Foo, asdf=""): ... # no error
class Qux(Foo): ... # no error

it looks like pyrefly doesn't support __init_subclass__ at all. bad-typed-dict special-cases it for TypedDict, but ideally that rule should be removed and replaced with a more general rule that checks __init_subclass__ calls on any class

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxlKnHAAQBiuuiAOuvV-ZjGPQH0BEdBAAuAuAFds1WnCEAKanAA09WpjCJ6IsQEp6AWgB89AHK50Mdp273i8js-Ry69AEKoAToua51TTAAXgBGfR1CKI43Bi8ALz8WQLgtYLYQDIj6KMIYmncARSl8JNxs3JBVEDJvPihSQjFcAFsoCjIxAAsrIwA3GG84CCt6YPoMgGZCUIAmDI4AbUHvXCGAXQ4MdFwxVDER9CMWiDgW-cousfoAchW1m44QAF9q1EoDgcZoGAo0LDwRDILyAA

(Only applicable for extension issues) IDE Information

No response

[NathanTempest]

Thanks for the report, @DetachHead! Confirmed on HEAD that pyrefly produces 0 errors for all three cases. Pyrefly currently doesn't validate kwargs on class statements against the parent's init_subclass signature at all. No type checking, no missing-argument detection. The class Qux(Foo) case is particularly important since it produces a TypeError at import time in Python.

The existing bad-typed-dict special case for TypedDict's total kwarg would ideally be generalized into a proper init_subclass validation rule for all classes.

@stroxler can we extend the implementation of TypedDict's kwarg handling to Pyrefly's init subclass kwarg handling as well ?