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 11 pull requests #107314

Merged
merged 32 commits into from
Jan 26, 2023
Merged

Rollup of 11 pull requests #107314

merged 32 commits into from
Jan 26, 2023

Commits on Jan 11, 2023

  1. Improve proc macro attribute diagnostics

    mejrs committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    f920008 View commit details
    Browse the repository at this point in the history
  2. Address feedback

    mejrs committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    a8e3abd View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2023

  1. Teach parser to understand fake anonymous enum syntax

    Parse `-> Ty | OtherTy`.
    Parse type ascription in top level patterns.
    estebank committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    2d82420 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c847a01 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    12d18e4 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2023

  1. Fix proc macro tests

    mejrs committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    8e43414 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d3cfe97 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2023

  1. rustc_abi: remove Primitive::{is_float,is_int}

    there were fixmes for this already
    
    i am about to remove is_ptr (since callers need to properly distinguish
    between pointers in different address spaces), so might as well do this
    at the same time
    erikdesjardins committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    96f8f99 View commit details
    Browse the repository at this point in the history
  2. abi: add AddressSpace field to Primitive::Pointer

    ...and remove it from `PointeeInfo`, which isn't meant for this.
    
    There are still various places (marked with FIXMEs) that assume all pointers
    have the same size and alignment. Fixing this requires parsing non-default
    address spaces in the data layout string, which will be done in a followup.
    erikdesjardins committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    009192b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    bed3bb5 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9f933b5 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    020cca8 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    72117ab View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2023

  1. Configuration menu
    Copy the full SHA
    adc1890 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8b12d5f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b3f0085 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    02b80d2 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2023

  1. Configuration menu
    Copy the full SHA
    da538c1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8434b43 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d600b94 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0f24e11 View commit details
    Browse the repository at this point in the history
  5. Rollup merge of rust-lang#106407 - mejrs:attr_check, r=compiler-errors

    Improve proc macro attribute diagnostics
    
    Closes rust-lang#102923
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    8ae5116 View commit details
    Browse the repository at this point in the history
  6. Rollup merge of rust-lang#106960 - estebank:parse-anon-enums, r=cjgillot

    Teach parser to understand fake anonymous enum syntax
    
    Parse `Ty | OtherTy` in function argument and return types.
    Parse type ascription in top level patterns.
    
    Minimally address rust-lang#100741.
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    ba928ba View commit details
    Browse the repository at this point in the history
  7. Rollup merge of rust-lang#107085 - tmiasko:custom-mir-operators, r=ol…

    …i-obk
    
    Custom MIR: Support binary and unary operations
    
    Lower binary and unary operations directly to corresponding unchecked MIR
    operations. Ultimately this might not be syntax we want, but it allows for
    experimentation in the meantime.
    
    r? ````@oli-obk```` ````@JakobDegen````
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    f3644ca View commit details
    Browse the repository at this point in the history
  8. Rollup merge of rust-lang#107086 - clubby789:bootstrap-lock-pid-linux…

    …, r=albertlarsan68
    
    Print PID holding bootstrap build lock on Linux
    
    Partially address rust-lang#107077
    
    Parse `/proc/locks` to find the PID of the process which created the build directory lock
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    4b51b20 View commit details
    Browse the repository at this point in the history
  9. Rollup merge of rust-lang#107175 - compiler-errors:bad-types-in-vec-p…

    …ush, r=estebank
    
    Fix escaping inference var ICE in `point_at_expr_source_of_inferred_type`
    
    Fixes rust-lang#107158
    
    `point_at_expr_source_of_inferred_type` uses `lookup_probe` to adjust the self type of a method receiver -- but that method returns inference variables from inside a probe. That means that the ty vars are no longer valid, so we can't use any infcx methods on them.
    
    Also, pass some extra span info to hack a quick solution to bad labels, resulting in this diagnostic improvement:
    
    ```rust
    fn example2() {
        let mut x = vec![1];
        x.push("");
    }
    ```
    
    ```diff
      error[E0308]: mismatched types
       --> src/main.rs:5:12
        |
      5 |     x.push("");
        |       ---- ^^
        |       |    |
        |       |    expected integer, found `&str`
    -   |       |    this is of type `&'static str`, which causes `x` to be inferred as `Vec<{integer}>`
        |       arguments to this method are incorrect
    ```
    (since that "which causes `x` to be inferred as `Vec<{integer}>` part is wrong)
    
    r? `@estebank`
    
    (we really should make this code better in general, cc rust-lang#106590, but that's a bit bigger issue that needs some more thinking about)
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    5bc4980 View commit details
    Browse the repository at this point in the history
  10. Rollup merge of rust-lang#107204 - euclio:assoc-const-suggestion, r=p…

    …etrochenkov
    
    suggest qualifying bare associated constants
    
    Fixes rust-lang#107199.
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    a8e8406 View commit details
    Browse the repository at this point in the history
  11. Rollup merge of rust-lang#107248 - erikdesjardins:addrspace, r=oli-obk

    abi: add AddressSpace field to Primitive::Pointer
    
    ...and remove it from `PointeeInfo`, which isn't meant for this.
    
    There are still various places (marked with FIXMEs) that assume all pointers
    have the same size and alignment. Fixing this requires parsing non-default
    address spaces in the data layout string (and various other changes),
    which will be done in a followup.
    (That is, if it's actually worth it to support multiple different pointer sizes.
    There is a lot of code that would be affected by that.)
    
    Fixes rust-lang#106367
    
    r? ``@oli-obk``
    cc ``@Patryk27``
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    a8b5e5d View commit details
    Browse the repository at this point in the history
  12. Rollup merge of rust-lang#107272 - compiler-errors:new-solver-more-pr…

    …edicates, r=lcnr
    
    Implement ObjectSafe and WF in the new solver
    
    r? ``@lcnr``
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    a84e060 View commit details
    Browse the repository at this point in the history
  13. Rollup merge of rust-lang#107285 - compiler-errors:new-solver-future-…

    …and-generator, r=lcnr
    
    Implement `Generator` and `Future` in the new solver
    
    r? `@lcnr`
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    5be2f51 View commit details
    Browse the repository at this point in the history
  14. Rollup merge of rust-lang#107286 - compiler-errors:new-solver-deny-in…

    …fers, r=lcnr
    
    ICE in new solver if we see an inference variable
    
    By construction, we do not expect to see any `ty::Infer(ty::TyVar(_))` inference types in the solver (we treat this as ambiguous, since we need to be able to structurally resolve the self type at least one layer to assemble candidates for it). Additionally, since we're doing no freshening, we also don't expect to see any fresh vars of any kind in the solver.
    
    Let's make that an ICE so we can catch any mistakes.
    
    When rust-lang#107282 lands, we should also ICE there too if we see a non-int/float infer.
    
    r? `@lcnr`
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    dd08f35 View commit details
    Browse the repository at this point in the history
  15. Rollup merge of rust-lang#107313 - calebcartwright:style-guide-triage…

    …bot, r=joshtriplett
    
    Add Style Team Triagebot config
    matthiaskrgr authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    267d626 View commit details
    Browse the repository at this point in the history