rzk-0.8.0: test/typecheck/cases/ill-unify-terms-path.rzk

#lang rzk-1

#postulate A : U

#postulate a : A

#postulate b : A

#check refl_{a} : b =_{A} a