Prohibit ''Nothing'' substitution of reified TP