https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70141
--- Comment #17 from Jason Merrill <jason at gcc dot gnu.org> --- Yes, this looks like a bug. I expect that we're saying "non-deduced" because of the typename, but the typename is gone due to partial instantiation when we get around to deducing U
