Skip to content
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

ignore uninhabited non-exhaustive variant fields #65414

Merged
merged 1 commit into from
Oct 25, 2019
Merged

ignore uninhabited non-exhaustive variant fields #65414

merged 1 commit into from
Oct 25, 2019

Commits on Oct 23, 2019

  1. ignore uninhabited non-exhaustive variant fields 

    This commit modifies the uninhabitedness checking so that the fields of
a non-exhaustive variant (which is not local) are ignored if they are
uninhabited. This is an improvement over the previous behaviour which
considered all non-local non-exhaustive variants useful because
unreachable patterns are now detected.

Signed-off-by: David Wood <david@davidtw.co>
    @davidtwco
    davidtwco committed Oct 23, 2019
    Configuration menu
    Copy the full SHA
    7ffbd62 View commit details
    Browse the repository at this point in the history