On Fri, Jun 2, 2017 at 9:07 AM, Jonathan Wakely <jwak...@redhat.com> wrote: > we aren't qualifying calls to __ref_cast,
Turns out this is fine. I somehow managed to completely misread the last sentence of [basic.lookup.argdep]/2. It's talking about the case where an argument to the call is a set of overloaded functions named by a template-id, not about the postfix-expression. At least qualifying those calls doesn't hurt either. Sorry :(