追記: テンプレートの特殊化と同時にインスタンス化されていたというだけでした。仕様のどこに書いてあるのかは調査中以下のように template specialization というのはインスタンス化されたもの、明示的に特殊化されたもの両方を内包する概念のようでした。…