http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49274
--- Comment #11 from Jason Merrill <jason at gcc dot gnu.org> 2011-06-03 14:03:59 UTC --- Yes, cont<incomplete> is an associated type for argument-dependent lookup, so we instantiate it to get any friend declarations. I think G++ is correct. Clang fails to compile the testcase for 34870. Interestingly, EDG accepts both this testcase and the testcase for 34870. I wonder why that would be.