何というかas any Pの話は、ちゃんとオーバーロードの優先順位を整理したらよかったのではと思った

12:55 PM

any Pの変数に対して any P > some P > T の優先順位なら

12:55 PM

何の問題も無かったはず