idris-0.9.14.2: test/reg010/expected

reg010.idr:5:15:When elaborating right hand side of with block in usubst.unsafeSubst:
Can't unify
        P x
with
        P y

Specifically:
        Can't unify
                P x
        with
                P y