New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

unsatisfiable `allOf` construction panics #447

Merged

ahl merged 1 commit into main from issue-443

Dec 1, 2023

Collaborator

ahl commented Dec 1, 2023 •

edited

Loading

If the merged result of an allOf is unsatisfiable (i.e. false) we should produce a Never-like type.

Closes #443


          If the merged result of an allOf is unsatisfiable (i.e. false) we

5a98438

should produce a Never-like type.

ahl merged commit 8b83fbf into main

4 checks passed

ahl deleted the issue-443 branch

December 1, 2023 00:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet