Issue543.err

Issue543.agda:31,10-72
.(true) != true of type Bool
when checking that the expression
subst (λ s → unsquash (squash true) ≡ unsquash s) sqT≡sqF refl has
type true ≡ false