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

Eager unreachable blocks for ! type #47291

Closed
wants to merge 16 commits into from
Closed

Eager unreachable blocks for ! type #47291

wants to merge 16 commits into from

Commits on Mar 16, 2018

  1. Unreachable never arguments

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    b5c1ab9 View commit details
    Browse the repository at this point in the history

  2. Unreachable match arms

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    e37f424 View commit details
    Browse the repository at this point in the history

  3. Add test

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    ad2b478 View commit details
    Browse the repository at this point in the history

  4. Add more general checks for never-type arguments

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    c5f7ab3 View commit details
    Browse the repository at this point in the history

  5. Prevent never-type rvalues

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    50d533b View commit details
    Browse the repository at this point in the history

  6. Generate unreachable for rvalues earlier

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    4a37e05 View commit details
    Browse the repository at this point in the history

  7. Add copyright to test

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    3db42b7 View commit details
    Browse the repository at this point in the history

  8. Remove tabs that sneaked in

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    27d4d5e View commit details
    Browse the repository at this point in the history

  9. Add mir-opt test

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    a656814 View commit details
    Browse the repository at this point in the history

  10. Reuse conservative_is_uninhabited

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    63c7a3e View commit details
    Browse the repository at this point in the history

  11. Remove test statements that are now optimised away

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    e22be28 View commit details
    Browse the repository at this point in the history

  12. Improve arm filtering 

    Unmatchable arm patterns are now also filtered, even if the arm itself
is reachable.
    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    b82ee57 View commit details
    Browse the repository at this point in the history

  13. Add test for disjunctive patterns

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    4578a16 View commit details
    Browse the repository at this point in the history

  14. Removed redundant test 

    The equivalent test now exists as `never-type-rvalues.rs`.
    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    1a799c0 View commit details
    Browse the repository at this point in the history

  15. Fix TyTuple after never type stabilisation

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu
    Copy the full SHA
    c17319c View commit details
    Browse the repository at this point in the history

  16. Update mir-opt test

    @varkor
    varkor committed Mar 16, 2018
    Configuration menu