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

Rollup of 9 pull requests #107810

Closed
wants to merge 20 commits into from

Commits on Jan 22, 2023

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

Commits on Jan 29, 2023

  1. Treat Drop as a rmw operation

    Previously, a Drop terminator was considered a move in MIR.
    This commit changes the behavior to only treat Drop as a mutable
    access to the dropped place.
    
    In order for this change to be correct, we need to guarantee that
      a) A dropped value won't be used again
      b) Places that appear in a drop won't be used again before a
         subsequent initialization.
    
    We can ensure this to be correct at MIR construction because Drop
    will only be emitted when a variable goes out of scope,
    thus having:
      (a) as there is no way of reaching the old value. drop-elaboration
         will also remove any uninitialized drop.
      (b) as the place can't be named following the end of the scope.
    
    However, the initialization status, previously tracked by moves,
    should also be tied to the execution of a Drop, hence the
    additional logic in the dataflow analyses.
    zeegomo committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    68c1e2f View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2023

  1. BTreeMap: Change internal insert function to return a handle

    This is a prerequisite for cursor support for `BTreeMap`.
    Amanieu committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    eb70c82 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    36831b3 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

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

Commits on Feb 7, 2023

  1. Configuration menu
    Copy the full SHA
    56bf28d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7a45059 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    03a8a4f View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2023

  1. Configuration menu
    Copy the full SHA
    a0b96fd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6a53311 View commit details
    Browse the repository at this point in the history
  3. Fix small debug typo

    GuillaumeGomez committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    cc87584 View commit details
    Browse the repository at this point in the history
  4. Rollup merge of rust-lang#105641 - Amanieu:btree_cursor, r=m-ou-se

    Implement cursors for BTreeMap
    
    See the ACP for an overview of the API: rust-lang/libs-team#141
    
    The implementation is split into 2 commits:
    - The first changes the internal insertion functions to return a handle to the newly inserted element. The lifetimes involved are a bit hairy since we need a mutable handle to both the `BTreeMap` itself (which holds the root) and the nodes allocated in memory. I have tested that this passes the standard library testsuite under miri.
    - The second commit implements the cursor API itself. This is more straightforward to follow but still involves some unsafe code to deal with simultaneous mutable borrows of the tree root and the node that is currently being iterated.
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    d608f87 View commit details
    Browse the repository at this point in the history
  5. Rollup merge of rust-lang#107098 - compiler-errors:pat-mismatch-fn-ca…

    …ll, r=lcnr
    
    Suggest function call on pattern type mismatch
    
    Fixes rust-lang#101208
    
    This could definitely be generalized to support more suggestions in pattern matches. We can't use all of [`FnCtxt::emit_type_mismatch_suggestions`](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_typeck/fn_ctxt/struct.FnCtxt.html#method.emit_type_mismatch_suggestions), but it's on my to-do list to play around with more suggestions that would be productive in this position.
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    0bd0eaf View commit details
    Browse the repository at this point in the history
  6. Rollup merge of rust-lang#107271 - Zeegomo:drop-rmw, r=oli-obk

    Treat Drop as a rmw operation
    
    Previously, a Drop terminator was considered a move in MIR. This commit changes the behavior to only treat Drop as a mutable access to the dropped place.
    
    In order for this change to be correct, we need to guarantee that
    
    1.  A dropped value won't be used again
       2.  Places that appear in a drop won't be used again before a
         subsequent initialization.
    
    We can ensure this to be correct at MIR construction because Drop will only be emitted when a variable goes out of scope, thus having:
    *   (1) as there is no way of reaching the old value. drop-elaboration
         will also remove any uninitialized drop.
     * (2) as the place can't be named following the end of the scope.
    
    However, the initialization status, previously tracked by moves, should also be tied to the execution of a Drop, hence the additional logic in the dataflow analyses.
    
    From discussion in [this thread](https://rust-lang.zulipchat.com/#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/.60DROP.60.20to.20.60DROP_IF.60.20compiler-team.23558), originating from rust-lang/compiler-team#558.
    See also rust-lang#104488 (comment)
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    1c04fea View commit details
    Browse the repository at this point in the history
  7. Rollup merge of rust-lang#107710 - ehuss:update-strip-ansi-escapes, r…

    …=Mark-Simulacrum
    
    Update strip-ansi-escapes and vte
    
    This updates strip-ansi-escapes from 0.1.0 to 0.1.1 (and consequently vte).
    Changes: luser/strip-ansi-escapes@0.1.0...0.1.1
    The only change really is updating vte which fixes some parsing issues (and drops the vendored source size by several megabytes).
    
    Closes rust-lang#107708
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    510b0f0 View commit details
    Browse the repository at this point in the history
  8. Rollup merge of rust-lang#107758 - Zoxc:arena-enref, r=cjgillot

    Change `arena_cache` to not alter the declared query result
    
    This makes the return types a bit clearer, limiting `arena_cache`'s effect to just the computation side. It also makes it easier to potentially remove `arena_cache`.
    
    r? ``@cjgillot``
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    927d00a View commit details
    Browse the repository at this point in the history
  9. Rollup merge of rust-lang#107777 - compiler-errors:derive_const-actua…

    …lly-derive-const, r=fee1-dead
    
    Make `derive_const` derive properly const-if-const impls
    
    Fixes rust-lang#107774
    Fixes rust-lang#107666
    
    Also fixes rendering of const-if-const bounds in pretty printing.
    
    r? ``@oli-obk`` or ``@fee1-dead``
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    894ca96 View commit details
    Browse the repository at this point in the history
  10. Rollup merge of rust-lang#107780 - compiler-errors:instantiate-binder…

    …, r=lcnr
    
    Rename `replace_bound_vars_with_*` to `instantiate_binder_with_*`
    
    Mentioning "binder" rather than "bound vars", imo, makes it clearer that we're doing something to the binder as a whole.
    
    Also, "instantiate" is the verb that I'm always reaching for when I'm looking for these functions, and the name that we use in the new solver anyways.
    
    r? types
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    f4a917a View commit details
    Browse the repository at this point in the history
  11. Rollup merge of rust-lang#107793 - joboet:raw_os_error_ty_tracking, r…

    …=Dylan-DPC
    
    Add missing tracking issue for `RawOsError`
    
    I forgot to add it in the original PR…
    
    See rust-lang#107792.
    
    ``@rustbot`` label +T-libs-api -T-libs
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    112fb30 View commit details
    Browse the repository at this point in the history
  12. Rollup merge of rust-lang#107807 - GuillaumeGomez:fix-small-debug-typ…

    …o, r=notriddle
    
    Fix small debug typo
    
    r? `@notriddle`
    matthiaskrgr authored Feb 8, 2023
    Configuration menu
    Copy the full SHA
    521b4a2 View commit details
    Browse the repository at this point in the history