This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

C++ PATCH for CWG DR 1847, partial ordering and non-deduced context

From: Jason Merrill <jason at redhat dot com>
To: gcc-patches List <gcc-patches at gcc dot gnu dot org>
Date: Wed, 10 May 2017 16:12:36 -0400
Subject: C++ PATCH for CWG DR 1847, partial ordering and non-deduced context
Authentication-results: sourceware.org; auth=none

The resolution of Core DRs 1391 and 1847 clarified that function
parameters that don't involve deducible template parameters are not
considered for partial ordering.  I also experimented with handling
this at a finer-grained level, in unify, so that we would handle a
typename vs. a concrete type even if there were other deducible
template parameters, but that broke template/partial15.C.

Tested x86_64-pc-linux-gnu, applying to trunk.

Attachment: dr1847.diff
Description: Text document

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]