What should we do about this? I am a bit unsure where to fit this in the current model.
Should this hook replace the entire inheritance check? Should this work only in covariant mode? Or should this be used for all cases other than invariant and expect users to know about this?
What should we do about this? I am a bit unsure where to fit this in the current model.
Should this hook replace the entire inheritance check? Should this work only in covariant mode? Or should this be used for all cases other than invariant and expect users to know about this?