Open
Description
Currently, __init__ methods can be incompatible in nominal subclasses. However, it makes sense to check that the __init__ has a correct signature in structural subtypes if the protocol has an explicitly declared __init__. It would be in particular good to check this for types like Type[t].