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

Initial implementation of #![feature(bindings_after_at)] #66296

Merged
merged 17 commits into from
Dec 24, 2019
Merged

Initial implementation of #![feature(bindings_after_at)] #66296

merged 17 commits into from
Dec 24, 2019

Commits on Dec 23, 2019

  1. Introduce #![feature(bindings_after_at)]. 

    Under the gate, `x @ Some(y)` is allowed.
This is subject to various restrictions for soundness.
    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    5f92a56 View commit details
    Browse the repository at this point in the history

  2. add a fixme

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    25b6a28 View commit details
    Browse the repository at this point in the history

  3. check_legality_of_move_bindings: generalize diagnostics & add comments

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    6a87f99 View commit details
    Browse the repository at this point in the history

  4. add check_borrow_conflicts_in_at_patterns analysis

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    eed311f View commit details
    Browse the repository at this point in the history

  5. refactor with extract_binding_mode

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    5a8baa2 View commit details
    Browse the repository at this point in the history

  6. improve robustness of pat walkers

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    b9aba74 View commit details
    Browse the repository at this point in the history

  7. document check_borrow_conflicts_in_at_patterns

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    10ac7ea View commit details
    Browse the repository at this point in the history

  8. --bless bindings-after-at tests

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    9ab3603 View commit details
    Browse the repository at this point in the history

  9. bindings_after_at: harden tests wrt. promotion

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    0034e61 View commit details
    Browse the repository at this point in the history

  10. bindings_after_at: harden tests wrt. contexts & slice_patterns

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    6fa8f4a View commit details
    Browse the repository at this point in the history

  11. clarify bind-by-move-neither-can-livee..

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    427b1c3 View commit details
    Browse the repository at this point in the history

  12. enhance borrowck-pat-by-copy-bindings-in-at

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    48f2766 View commit details
    Browse the repository at this point in the history

  13. harden & split borrowck-pat-at-and-box

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    e39abcf View commit details
    Browse the repository at this point in the history

  14. Test that _ @ subpat is syntactically rejected.

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    c37bd26 View commit details
    Browse the repository at this point in the history

  15. Test that nested type ascription is banned.

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    8846a6b View commit details
    Browse the repository at this point in the history

  16. Remove bindings_after_at from INCOMPLETE_FEATURES.

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    371446c View commit details
    Browse the repository at this point in the history

  17. adjust E0303 error code docs

    @Centril
    Centril committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    acfe582 View commit details
    Browse the repository at this point in the history