On 11/18/21 10:31, Patrick Palka wrote:
On Thu, 18 Nov 2021, Patrick Palka wrote:
On Thu, 18 Nov 2021, Jason Merrill wrote:
On 11/10/21 11:53, Patrick Palka wrote:
Here when partially instantiating the call get(T{}) with T=N::A
(for which earlier unqualified name lookup for 'get' found nothi
On Thu, 18 Nov 2021, Patrick Palka wrote:
> On Thu, 18 Nov 2021, Jason Merrill wrote:
>
> > On 11/10/21 11:53, Patrick Palka wrote:
> > > Here when partially instantiating the call get(T{}) with T=N::A
> > > (for which earlier unqualified name lookup for 'get' found nothing)
> > > the arguments a
On Thu, 18 Nov 2021, Jason Merrill wrote:
> On 11/10/21 11:53, Patrick Palka wrote:
> > Here when partially instantiating the call get(T{}) with T=N::A
> > (for which earlier unqualified name lookup for 'get' found nothing)
> > the arguments after substitution are no longer dependent but the calle
On 11/10/21 11:53, Patrick Palka wrote:
Here when partially instantiating the call get(T{}) with T=N::A
(for which earlier unqualified name lookup for 'get' found nothing)
the arguments after substitution are no longer dependent but the callee
still is, so perform_koenig_lookup postpones ADL. Bu
Here when partially instantiating the call get(T{}) with T=N::A
(for which earlier unqualified name lookup for 'get' found nothing)
the arguments after substitution are no longer dependent but the callee
still is, so perform_koenig_lookup postpones ADL. But then we go on to
diagnose the unresolved
