On Wed, Jun 19, 2013 at 9:21 AM, Jason Merrill <ja...@redhat.com> wrote: > On 06/18/2013 12:27 PM, Andrew Sutton wrote: >> >> There was a bug in instantiation_dependent_expr_r that would cause >> trait expressions like __is_class(int) to be marked as type dependent. >> It was always testing the 2nd operand, even for unary traits >> (NULL_TREE turns out to be type dependent). > > > I fixed that last month: > > 2013-05-20 Jason Merrill <ja...@redhat.com> > > PR c++/57016 > * pt.c (instantiation_dependent_r) [TRAIT_EXPR]: Only check > type2 if there is one.
The last merge to c++-concepts was a little bit before that (2013-06-16), so the fix wasn't on the branch. As I discussed with Andrew a couple of weeks ago, I have been holding back the merge from trunk because he has these patch series in the queue. That also means we don't get these sort of fixes before a while. Maybe I should just go ahead with the merge so that we have conflicts, and potentially less duplication of work in terms of fixing the compiler. -- Gaby
