SFINAE
この例のように修飾名T::fooに非クラス型を適用しようとした時、intにはfooというメンバーがないので型推論に失敗するが、有効な解決先の候補が残っているため、このプログラムは不正とならない。