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.

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

Make typeck aware of uninhabited types #100288

Closed
wants to merge 10 commits into from

Commits on Oct 23, 2022

  1. Configuration menu
    Copy the full SHA
    4095722 View commit details
    Browse the repository at this point in the history
  2. Refactor Diverges in typeck

    Avoid deriving PartialOrd on Diverges since it includes fields which
    should not affect ordering.
    camsteffen committed Oct 23, 2022
    Configuration menu
    Copy the full SHA
    1450957 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    212a9ce View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    268654a View commit details
    Browse the repository at this point in the history
  5. Fix tests

    camsteffen committed Oct 23, 2022
    Configuration menu
    Copy the full SHA
    f8dd09b View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    e8de2e4 View commit details
    Browse the repository at this point in the history
  7. Bless tests

    camsteffen committed Oct 23, 2022
    Configuration menu
    Copy the full SHA
    11034e4 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7533a94 View commit details
    Browse the repository at this point in the history
  9. Bump ISSUES_ENTRY_LIMIT

    camsteffen committed Oct 23, 2022
    Configuration menu
    Copy the full SHA
    b71f85d View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2022

  1. Configuration menu
    Copy the full SHA
    cdf138f View commit details
    Browse the repository at this point in the history