It is valid, we will AND it to be:

==2.7,==3.6 OR ==3.6

Pex will ignore that first constraint because it's unsatisfiable, resulting in a final constraint of

==3.6

Whereas if we ignore the transitive dep, we would have a final constraint of

==2.7 OR ==3.6

, which isn't safe