To be clear, the behavior you want is for it to be outlawed to use the HOM with messages that return a non-object type? Imagine you have a side-effecting message that returns BOOL; whilst we can't have any kind of useful return value, it might be nice to be able to at least execute it. With this change, if I understand properly, we would throw if someone tries to do that.