Check paradoxical types #2
Description
Refuse to reflect paradoxical types like
-type foo(A) :: foo(A).
-type bar(A) :: ... | bar(A).
{{ message }}
Refuse to reflect paradoxical types like
-type foo(A) :: foo(A).
-type bar(A) :: ... | bar(A).