Closed yoshihiro503 closed 5 years ago
The code should be type error, but not.
main() -> {ok, X} = {1, 2}, X.
Type.inf {'ok', any()} {1, 2} should be _|_.
Type.inf {'ok', any()} {1, 2}
_|_
The code should be type error, but not.
How to fix
Type.inf {'ok', any()} {1, 2}
should be_|_
.