>>643
> Tのインスタンスを作ろうとするとT::Implの定義が必要でコンパイルエラーになる
それ、やってみて言ってる？エラーメッセージは？
手元のコンパイラ２つでは、両方とも警告しか出ない。