Benjamin Kosnik <bkoz@redhat.com> writes: >>To be sure, if you don't receive more authoritative feedback in the >>next day or so, please submit a PR, that's my advice. > | This is a bug. I've filed it for you, see c++/13594. Ok, thanks. -- Lgb