>>160
>ADLの動かない型だとテンプレート定義時点で見えてないと

ついていけないので補足たのむ。
ここでは「ADLの動かない型」がTに指定されただけであって
Multiply(x, x)は引数依存な式であって
テンプレート定義時に見えていなくても良いのでは？