path: root/testsuite/fail_compilation/procedure-cycle.elna

type
  A = proc() -> A (* @Error Type declaration forms a cycle: A -> A *)

end.