You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 28, 2024. It is now read-only.
it would be cool to have a negative assertion that ensures that a given L type does NOT conform to R type
e.g.
assert("hi", _ as "hi") // compiles ok
assert("bye", _ as "hi") // compilation error
assertNot("bye", _ as "hi") // compiles ok
assertNot("hi", _ as "hi") // compilation error
That way it can negative cases could be more easily integrated into jest without too many modification (just by expecting "ok" compilation cases for assertions and not assertions)
The text was updated successfully, but these errors were encountered:
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
it would be cool to have a negative assertion that ensures that a given L type does NOT conform to R type
e.g.
That way it can negative cases could be more easily integrated into jest without too many modification (just by expecting "ok" compilation cases for assertions and not assertions)
The text was updated successfully, but these errors were encountered: