FakeProjectionsDoNotPreserveGuardedness.agda:30,1-36,29
Termination checking failed for the following functions:
  repeat, repeat'
Problematic calls:
  repeat' a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:33,25-32)
  FakeProjectionsDoNotPreserveGuardedness.♯-0
    (at FakeProjectionsDoNotPreserveGuardedness.agda:36,19-20)
  repeat a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:36,21-27)
