https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120655
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ppalka at gcc dot gnu.org
--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Implicitly generated deduction guides that refer to class members are kind of a
weird corner case.
What would the deduction guide look like if it were explicitly written?
Something like
template<class T, class U> B(U, typename B<T>::template TA<U>) -> B<T>;
As written, T is not deducible here. Implementations do various
shortcuts/tricks when generating an implicit guide to make this work, but the
standard doesn't say what exactly to do here AFAIK.
