I think the comment, 'PHVs should not impose ...' looks redundant. It may be enough to have it in the commit comment.
Hmm, I'm not sure. I'm thinking that when people read this part of the code, they might be confused as to why we don't consider PHVs. And this comment will give them some clues. This is just like how we explain why we need not worry about LATERAL nor PHVs in is_simple_values().
Чтобы сделать работу с сайтом удобнее, мы используем cookie и аналитический сервис «Яндекс.Метрика». Продолжая пользоваться сайтом, вы соглашаетесь с их использованием.