Issue1988.agda:9,1-26
Builtin REFL no longer exists. It is now bound by BUILTIN EQUALITY
when checking the pragma BUILTIN REFL refl

———— All done; warnings encountered ————————————————————————

Issue1988.agda:9,1-26
Builtin REFL no longer exists. It is now bound by BUILTIN EQUALITY
when checking the pragma BUILTIN REFL refl
