- use-site should be contained within the class that owns callee symbol - class-representative of dispatch receiver value should be exactly the same as a container class of a callee (not its subtype)
Denis.Zharkov