オンラインコンパイラサービスは色々あるからそれを試すのが良いよ
GCC:http://melpon.org/wandbox/permlink/gCuQdogNabmJhVeF
Clang:http://melpon.org/wandbox/permlink/FkystRrbxJlhHwvf

結論としては、dtype<T>は関係無い。dtype<T>はdouble_trait<T>::typeに展開されるのでTはnon-deduced context、よってここでは推論の対象とならない。
けれども、第二引数のcomplex<T>のTはdeduced contextで推論される。結局Tはcomplexのテンプレート引数に推論されてオーバーロード候補としてマッチする。
参考:http://melpon.org/wandbox/permlink/CYnRbBgzf2gL4vGL
ここも参考になるかも（英語）
http://stackoverflow.com/questions/8775202/how-do-template-aliases-affect-template-parameter-deduction