It certainly must post to their inbox relays. That is the whole point of inbox relays. If it doesn't, that's a bug.