Yeah, we don't need to have a pseudo test here for that. Is there somewhere in the implementation code we could put a comment noting this?