I am sorry I am not sure I follow. In this case you will get inconsistent specialization according to 5.1.3. Inconsistent specialization right?