There are some weird cases with `callable` which is why they aren't
allowed as a property type. I don't remember all the edges, but if we
are sure that we cannot hit those with simple co-/contra-variance,
then I don't think this needs an RFC and we can just merge the PR.

Reply via email to