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

Fix propagation of no-return-unless constraints from calls to unions #518

Merged

JelleZijlstra merged 1 commit into master from callunion

Apr 13, 2022

Contributor

JelleZijlstra commented Apr 12, 2022

No description provided.


          Fix propagation of no-return-unless constraints from calls to unions

467708c

JelleZijlstra merged commit a6ba157 into master

JelleZijlstra deleted the callunion branch

April 13, 2022 00:20

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