Agda-2.3.2.2: test/fail/PatternSynonymsErrorLocation.err
PatternSynonymsErrorLocation.agda:68,21-23 A != C of type Sigma TyTag _.T when checking that the pattern refl has type A ≡ C
PatternSynonymsErrorLocation.agda:68,21-23 A != C of type Sigma TyTag _.T when checking that the pattern refl has type A ≡ C