Template Argument Deduction Failure and Function Parameters/Arguments Mismatch

Question

Consider the following program:

template  struct A { using X = typename T::X; };
template ::X* = nullptr> void