https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79419
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jason at gcc dot gnu.org --- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> --- This is still breaken. During CWG discussion of this issue in Cologne I said that I thought that for this matching we need to do partial instantiation of the associated constraints of the in-class declaration in order to compare it to the specialization.