Confusions about comparator_ooo_imps

In reply to peterjin:

T and IDX are not a unknown types. Both are of type int. Where is the problem?