]> git.lizzy.rs Git - rust.git/log
rust.git
3 years agoRollup merge of #85989 - jyn514:gitignore-cleanup, r=ehuss
Yuki Okushi [Tue, 8 Jun 2021 04:26:30 +0000 (13:26 +0900)]
Rollup merge of #85989 - jyn514:gitignore-cleanup, r=ehuss

Remove rustfmt tests from top-level .gitattributes

These are tracked in src/tools/rustfmt/.gitattributes already, they
don't need to be listed twice.

r? `@ehuss` since you suggested adding them in https://github.com/rust-lang/rust/pull/82208/#issuecomment-841440199; I think it should be ok now that bors isn't trying to merge the `subtree add` changes.

cc `@calebcartwright`

3 years agoRollup merge of #85985 - Lionelf329:master, r=joshtriplett
Yuki Okushi [Tue, 8 Jun 2021 04:26:29 +0000 (13:26 +0900)]
Rollup merge of #85985 - Lionelf329:master, r=joshtriplett

Clarify documentation of slice sorting methods

After reading about [this](https://polkadot.network/a-polkadot-postmortem-24-05-2021/), I realized that although the documentation of these methods is not ambiguous in its current state, it is very easy to read it and erroneously assume that their exact behaviour can be relied upon to be deterministic. Although the docs make no guarantees about which index is returned when there are multiple matches, being more explicit about when and how their determinism can be relied upon should help prevent people from making this mistake in the future.

r? ``@steveklabnik``

3 years agoRollup merge of #85951 - hyd-dev:force-unwind-tables, r=steveklabnik
Yuki Okushi [Tue, 8 Jun 2021 04:26:28 +0000 (13:26 +0900)]
Rollup merge of #85951 - hyd-dev:force-unwind-tables, r=steveklabnik

Update the documentation of `-C force-unwind-tables` for #83482

`panic=unwind` does not require `force-unwind-tables` to be "yes" anymore.
I forgot to update this in #83482.

3 years agoRollup merge of #85906 - LingMan:iter_find, r=matthewjasper
Yuki Okushi [Tue, 8 Jun 2021 04:26:28 +0000 (13:26 +0900)]
Rollup merge of #85906 - LingMan:iter_find, r=matthewjasper

Use `Iterator::find` instead of open-coding it

```@rustbot``` modify labels +C-cleanup +T-compiler

3 years agoAuto merge of #83515 - tamird:string-remove-matches-rev, r=m-ou-se
bors [Tue, 8 Jun 2021 01:05:48 +0000 (01:05 +0000)]
Auto merge of #83515 - tamird:string-remove-matches-rev, r=m-ou-se

String::remove_matches O(n^2) -> O(n)

Copy only non-matching bytes. Replace collection of matches into a
vector with iteration over rejections, exploiting the guarantee that we
mutate parts of the haystack that have already been searched over.

r? `@joshtriplett`

3 years agoClarify documentation of slice sorting methods
Lionel Foxcroft [Fri, 4 Jun 2021 05:27:19 +0000 (01:27 -0400)]
Clarify documentation of slice sorting methods

3 years agoAuto merge of #85903 - bjorn3:rustc_serialize_cleanup, r=varkor
bors [Mon, 7 Jun 2021 14:40:26 +0000 (14:40 +0000)]
Auto merge of #85903 - bjorn3:rustc_serialize_cleanup, r=varkor

Remove unused functions and arguments from rustc_serialize

3 years agoAuto merge of #85891 - bjorn3:revert_merge_crate_disambiguator, r=Mark-Simulacrum
bors [Mon, 7 Jun 2021 10:42:56 +0000 (10:42 +0000)]
Auto merge of #85891 - bjorn3:revert_merge_crate_disambiguator, r=Mark-Simulacrum

Revert "Merge CrateDisambiguator into StableCrateId"

This reverts https://github.com/rust-lang/rust/pull/85804

3 years agoRevert "Merge CrateDisambiguator into StableCrateId"
bjorn3 [Tue, 1 Jun 2021 14:32:13 +0000 (16:32 +0200)]
Revert "Merge CrateDisambiguator into StableCrateId"

This reverts commit d0ec85d3fb6d322496cb8f4bc1c21e19f23284ad.

3 years agoRevert "Fix test"
bjorn3 [Tue, 1 Jun 2021 14:31:58 +0000 (16:31 +0200)]
Revert "Fix test"

This reverts commit 3abdebe79d9a3a2256a36fe8f408dad6a466f89f.

3 years agoRevert "Update tests"
bjorn3 [Tue, 1 Jun 2021 14:31:57 +0000 (16:31 +0200)]
Revert "Update tests"

This reverts commit c76b1b031753fc08a18a3906d828683476c1e595.

3 years agoRevert "Update mir opt tests"
bjorn3 [Tue, 1 Jun 2021 14:31:54 +0000 (16:31 +0200)]
Revert "Update mir opt tests"

This reverts commit e0e0cfa6492292d0b905b07a4ed727f4e1aefc80.

3 years agoAuto merge of #86091 - JohnTitor:rollup-wceot6d, r=JohnTitor
bors [Mon, 7 Jun 2021 08:01:45 +0000 (08:01 +0000)]
Auto merge of #86091 - JohnTitor:rollup-wceot6d, r=JohnTitor

Rollup of 6 pull requests

Successful merges:

 - #84262 (Fix ICE during type layout when there's a `[type error]`)
 - #85973 (Replace a `match` with an `if let`)
 - #85996 (rustbuild: take changes to the standard library into account for `download-rustc`)
 - #86016 (Unify duplicate linker_and_flavor methods in rustc_codegen_{cranelift,ssa}.)
 - #86025 (Remove the install prefix from the rpath set when using -Crpath)
 - #86081 (Use `try_into` instead of asserting manually)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

3 years agoRollup merge of #86081 - LingMan:try_into, r=jyn514
Yuki Okushi [Mon, 7 Jun 2021 06:21:05 +0000 (15:21 +0900)]
Rollup merge of #86081 - LingMan:try_into, r=jyn514

Use `try_into` instead of asserting manually

`@rustbot` modify labels +C-cleanup +T-compiler

3 years agoRollup merge of #86025 - bjorn3:no_rpath_cfg_prefix, r=jackh726
Yuki Okushi [Mon, 7 Jun 2021 06:21:04 +0000 (15:21 +0900)]
Rollup merge of #86025 - bjorn3:no_rpath_cfg_prefix, r=jackh726

Remove the install prefix from the rpath set when using -Crpath

It was broken anyway for rustup installs and nobody seems to have noticed.

Fixes https://github.com/rust-lang/rust/issues/82392

3 years agoRollup merge of #86016 - luqmana:infer-linker-flavor, r=petrochenkov
Yuki Okushi [Mon, 7 Jun 2021 06:21:03 +0000 (15:21 +0900)]
Rollup merge of #86016 - luqmana:infer-linker-flavor, r=petrochenkov

Unify duplicate linker_and_flavor methods in rustc_codegen_{cranelift,ssa}.

The two methods were exactly the same so this removes the cranelift copy. This will help make sure both they don't get out of sync.

3 years agoRollup merge of #85996 - jyn514:library-changes, r=Mark-Simulacrum
Yuki Okushi [Mon, 7 Jun 2021 06:21:02 +0000 (15:21 +0900)]
Rollup merge of #85996 - jyn514:library-changes, r=Mark-Simulacrum

rustbuild: take changes to the standard library into account for `download-rustc`

Previously, changing the standard library with `download-rustc =
"if-unchanged"` would incorrectly reuse the cached compiler and standard
library from CI, which was confusing and led to incorrect test failures
or successes.

r? `@Mark-Simulacrum`

3 years agoRollup merge of #85973 - LingMan:indentation, r=jyn514
Yuki Okushi [Mon, 7 Jun 2021 06:21:01 +0000 (15:21 +0900)]
Rollup merge of #85973 - LingMan:indentation, r=jyn514

Replace a `match` with an `if let`

Seems like a better fit here and saves one level of indentation.

`@rustbot` modify labels +C-cleanup +T-compiler

3 years agoRollup merge of #84262 - camelid:sized-ice, r=estebank
Yuki Okushi [Mon, 7 Jun 2021 06:20:56 +0000 (15:20 +0900)]
Rollup merge of #84262 - camelid:sized-ice, r=estebank

Fix ICE during type layout when there's a `[type error]`

Fixes #84108.

Based on estebank's [comment], except I used `delay_span_bug` because it
should work in more cases, and I think it expresses its intent more
clearly.

r? `@estebank`

[comment]: https://github.com/rust-lang/rust/issues/84108#issuecomment-818916848

3 years agoAuto merge of #85810 - bjorn3:further_driver_cleanup, r=varkor
bors [Mon, 7 Jun 2021 02:30:24 +0000 (02:30 +0000)]
Auto merge of #85810 - bjorn3:further_driver_cleanup, r=varkor

Driver improvements

This PR contains a couple of cleanups for the driver and a few small improvements for the custom codegen backend interface. It also implements `--version` and `-Cpasses=list` support for custom codegen backends.

3 years agoAuto merge of #86080 - GuillaumeGomez:rollup-vb5g14e, r=GuillaumeGomez
bors [Mon, 7 Jun 2021 00:01:10 +0000 (00:01 +0000)]
Auto merge of #86080 - GuillaumeGomez:rollup-vb5g14e, r=GuillaumeGomez

Rollup of 8 pull requests

Successful merges:

 - #83433 (Pass --cfg=bootstrap for proc macros built by stage0)
 - #84940 (Don't run sanity checks for `x.py setup`)
 - #85912 (Use `Iterator::any` and `filter_map` instead of open-coding them)
 - #85965 (Remove dead code from `LocalAnalyzer`)
 - #86010 (Fix two ICEs in the parser)
 - #86040 (Fix display for search results)
 - #86058 (Remove `_`  from E0121 diagnostic suggestions)
 - #86077 (Fix corrected example in E0759.md)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

3 years agoUse `try_into` instead of asserting manually
LingMan [Sun, 6 Jun 2021 23:27:40 +0000 (01:27 +0200)]
Use `try_into` instead of asserting manually

3 years agoRollup merge of #86077 - FabianWolff:issue-86061, r=GuillaumeGomez
Guillaume Gomez [Sun, 6 Jun 2021 23:06:55 +0000 (01:06 +0200)]
Rollup merge of #86077 - FabianWolff:issue-86061, r=GuillaumeGomez

Fix corrected example in E0759.md

This pull request fixes #86061, which was probably caused by a copy-paste error, where the supposedly corrected code example was also marked with `compile_fail`. Thus, the fact that the "correct" example actually _isn't_ correct was not caught by the doc-tests. This pull request removes the incorrect `compile_fail` annotation and fixes the example.

r? ``@GuillaumeGomez``

3 years agoRollup merge of #86058 - fee1-dead:E0121-improvements, r=jackh726
Guillaume Gomez [Sun, 6 Jun 2021 23:06:54 +0000 (01:06 +0200)]
Rollup merge of #86058 - fee1-dead:E0121-improvements, r=jackh726

Remove `_`  from E0121 diagnostic suggestions

Fixes #86021.

3 years agoRollup merge of #86040 - GuillaumeGomez:search-result-display-height, r=jsha
Guillaume Gomez [Sun, 6 Jun 2021 23:06:53 +0000 (01:06 +0200)]
Rollup merge of #86040 - GuillaumeGomez:search-result-display-height, r=jsha

Fix display for search results

This fixes unwanted margin and font-weight coming from `.method`. Before:

![Screenshot from 2021-06-05 23-03-34](https://user-images.githubusercontent.com/3050060/120905486-9e46f380-c652-11eb-8008-6db6e0517ba3.png)

after:

![Screenshot from 2021-06-05 23-05-02](https://user-images.githubusercontent.com/3050060/120905489-9edf8a00-c652-11eb-817d-f676f6ab7303.png)

r? ``@jsha``

3 years agoRollup merge of #86010 - FabianWolff:ICE-parser, r=varkor
Guillaume Gomez [Sun, 6 Jun 2021 23:06:52 +0000 (01:06 +0200)]
Rollup merge of #86010 - FabianWolff:ICE-parser, r=varkor

Fix two ICEs in the parser

This pull request fixes #84104 and fixes #84148. The latter is caused by an invalid `assert_ne!()` in the parser, which I have simply removed because the error is then caught in another part of the parser.

#84104 is somewhat more subtle and has to do with a suggestion to remove extraneous `<` characters; for instance:
```rust
fn main() {
    foo::<Ty<<<i32>();
}
```
currently leads to
```
error: unmatched angle brackets
 --> unmatched-langle.rs:2:10
  |
2 |     foo::<Ty<<<i32>();
  |          ^^^ help: remove extra angle brackets
```
which is obviously wrong and stems from the fact that the code for issuing the above suggestion does not consider the possibility that there might be other tokens in between the opening angle brackets. In #84104, this has led to a span being generated that ends in the middle of a multi-byte character (because the code issuing the suggestion thought that it was only skipping over `<`, which are single-byte), causing an ICE.

3 years agoRollup merge of #85965 - tmiasko:a, r=nagisa
Guillaume Gomez [Sun, 6 Jun 2021 23:06:51 +0000 (01:06 +0200)]
Rollup merge of #85965 - tmiasko:a, r=nagisa

Remove dead code from `LocalAnalyzer`

3 years agoRollup merge of #85912 - LingMan:iter_any, r=nagisa
Guillaume Gomez [Sun, 6 Jun 2021 23:06:50 +0000 (01:06 +0200)]
Rollup merge of #85912 - LingMan:iter_any, r=nagisa

Use `Iterator::any` and `filter_map` instead of open-coding them

``@rustbot`` modify labels +C-cleanup +T-compiler

3 years agoRollup merge of #84940 - jyn514:ninja, r=Mark-Simulacrum
Guillaume Gomez [Sun, 6 Jun 2021 23:06:49 +0000 (01:06 +0200)]
Rollup merge of #84940 - jyn514:ninja, r=Mark-Simulacrum

Don't run sanity checks for `x.py setup`

These requirements change as soon as the command finishes running, and
`setup` doesn't build anything, so the check doesn't make sense.

Previously, `x.py setup` would give hard errors if `ninja` and `cmake`
were not installed, even if the new profile didn't require them.

Fixes https://github.com/rust-lang/rust/issues/84938.

3 years agoRollup merge of #83433 - jyn514:cfg-bootstrap-macro, r=Mark-Simulacrum
Guillaume Gomez [Sun, 6 Jun 2021 23:06:48 +0000 (01:06 +0200)]
Rollup merge of #83433 - jyn514:cfg-bootstrap-macro, r=Mark-Simulacrum

Pass --cfg=bootstrap for proc macros built by stage0

Cargo has a bug where it ignores RUSTFLAGS when building proc macro
crates (https://github.com/rust-lang/cargo/issues/4423).
However, sometimes rustc_macro needs to have conditional
compilation when there are breaking changes to the `libproc_macro` API
(see for example #83363). Previously, this wasn't possible, because the
crate couldn't tell the difference between stage 0 and stage 1.

Another alternative is to unconditionally build rustc_macros with the
master libstd instead of the beta one (i.e. use `--sysroot
stage0-sysroot`), but that led to strange and maddening errors:

```
error[E0460]: found possibly newer version of crate `std` which `synstructure` depends on
 --> compiler/rustc_macros/src/lib.rs:5:5
  |
5 | use synstructure::decl_derive;
  |     ^^^^^^^^^^^^
  |
  = note: perhaps that crate needs to be recompiled?
  = note: the following crate versions were found:
          crate `std`: /home/joshua/rustc2/build/x86_64-unknown-linux-gnu/stage0-sysroot/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-b3602c301b71cc3d.rmeta
          crate `synstructure`: /home/joshua/rustc2/build/x86_64-unknown-linux-gnu/stage0-rustc/release/deps/libsynstructure-74ee66863479e972.rmeta
error[E0460]: found possibly newer version of crate `std` which `proc_macro2` depends on
  --> /home/joshua/.local/lib/cargo/registry/src/github.com-1ecc6299db9ec823/tracing-attributes-0.1.13/src/lib.rs:90:5
   |
90 | use proc_macro2::TokenStream;
   |     ^^^^^^^^^^^
   |
   = note: perhaps that crate needs to be recompiled?
   = note: the following crate versions were found:
           crate `std`: /home/joshua/rustc2/build/x86_64-unknown-linux-gnu/stage0-sysroot/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-b3602c301b71cc3d.rmeta
           crate `proc_macro2`: /home/joshua/rustc2/build/x86_64-unknown-linux-gnu/stage0-rustc/release/deps/libproc_macro2-a83c1f01610c129e.rlib
```

r? `@Mark-Simulacrum` cc `@jhpratt`

3 years agoFix corrected example in E0759.md
Fabian Wolff [Sun, 6 Jun 2021 20:54:00 +0000 (22:54 +0200)]
Fix corrected example in E0759.md

3 years agoAuto merge of #85343 - Aaron1011:variance-diag, r=estebank
bors [Sun, 6 Jun 2021 19:12:05 +0000 (19:12 +0000)]
Auto merge of #85343 - Aaron1011:variance-diag, r=estebank

Add variance-related information to lifetime error messages

This PR adds a basic framework for displaying variance-related information in error messages. For example:

```
error: lifetime may not live long enough
  --> $DIR/type-check-pointer-comparisons.rs:12:5
   |
LL | fn compare_mut<'a, 'b>(x: *mut &'a i32, y: *mut &'b i32) {
   |                --  -- lifetime `'b` defined here
   |                |
   |                lifetime `'a` defined here
LL |     x == y;
   |     ^ requires that `'a` must outlive `'b`
   |
   = help: consider adding the following bound: `'a: 'b`
   = note: requirement occurs because of a mutable pointer to &i32
   = note: mutable pointers are invariant over their type parameter
   = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
```

The last three lines are new.

This is accomplished by adding a new struct `VarianceDiagInfo`, and passing it along through the various relation methods. When relating types that change the variance (e.g. `&mut T` or `*mut T`), we pass a more specific `VarianceDiagInfo` storing information about the cause of the variance change. When an error, we use the `VarianceDiagInfo` to add additional information to the error message.

This PR doesn't change any variance-related computation or behavior - only diagnostic messages. Therefore, the implementation is quite incomplete - more detailed error messages can be filled in in subsequent PRs.

Limitations:
* We only attempt to deal with invariance - since it's at the bottom of the 'variance lattice', our variance will never change again after it becomes invariant. Handling contravariance would be trickier, since we can change between contravariance and covariance multiple times (e.g. `fn(fn(&'static u8))`). Since contravariance (AFAIK) is only used for function arguments, we can probably get away without a very fancy message for cases involving contravariance.
* `VarianceDiagInfo` currently only handles mutable pointers/references. However, user-defined types (structs, enums, and unions) have the variance of their type parameters inferred, so it would be good to eventually display information about that. We'll want to try to find a balance between displaying too much and too little information about how the variance was inferred.
* The improved error messages are only displayed when `#![feature(nll)]` / `-Z borrowck=mir` is enabled.  If issue https://github.com/rust-lang/rust/issues/58781 is not resolved relatively soon, then we might want to duplicate some of this logic in the 'current' (non-NLL) region/outlives handling code.

3 years agoAdd variance-related information to lifetime error messages
Aaron Hill [Thu, 13 May 2021 13:30:14 +0000 (09:30 -0400)]
Add variance-related information to lifetime error messages

3 years agoAuto merge of #85086 - petrochenkov:linkord2, r=nagisa
bors [Sun, 6 Jun 2021 16:41:36 +0000 (16:41 +0000)]
Auto merge of #85086 - petrochenkov:linkord2, r=nagisa

linker: Reorder linker arguments

- Split arguments into order-independent and order-dependent, to define more precisely what (pre-,post-,late-,)link-args mean.
- Add some comments.

3 years agolinker: Re-apply Solaris fixes for `-z ignore`
Vadim Petrochenkov [Sun, 6 Jun 2021 14:48:18 +0000 (17:48 +0300)]
linker: Re-apply Solaris fixes for `-z ignore`

3 years agolinker: Restore the old order of linking native libraries
Vadim Petrochenkov [Mon, 10 May 2021 18:01:18 +0000 (21:01 +0300)]
linker: Restore the old order of linking native libraries

3 years agolinker: Reorder linker arguments
Vadim Petrochenkov [Sat, 8 May 2021 17:38:13 +0000 (20:38 +0300)]
linker: Reorder linker arguments

- Combine all native library arguments together, to simplify potential support for library deduplication and similar things
- Split arguments into order-independent and order-dependent, to define more precisely what (pre,post,late)-link-args mean

3 years agolinker: Inline `fn link_local_crate_native_libs_and_dependent_crate_libs`
Vadim Petrochenkov [Sat, 8 May 2021 16:27:01 +0000 (19:27 +0300)]
linker: Inline `fn link_local_crate_native_libs_and_dependent_crate_libs`

3 years agoAuto merge of #84995 - petrochenkov:tcollect, r=Aaron1011
bors [Sun, 6 Jun 2021 14:00:43 +0000 (14:00 +0000)]
Auto merge of #84995 - petrochenkov:tcollect, r=Aaron1011

parser: Ensure that all nonterminals have tokens after parsing

`parse_nonterminal` should always result in something with tokens.

This requirement wasn't satisfied in two cases:
- `stmt` nonterminal with expression statements (e.g. `0`, or `{}`, or `path + 1`) because `fn parse_stmt_without_recovery` forgot to propagate `force_collect` in some cases.
- `expr` nonterminal with expressions with built-in attributes (e.g. `#[allow(warnings)] 0`) due to an incorrect optimization in `fn parse_expr_force_collect`, it assumed that all expressions starting with `#` have their tokens collected during parsing, but that's not true if all the attributes on that expression are built-in and inert.

(Discovered when trying to implement eager `cfg` expansion for all attributes https://github.com/rust-lang/rust/pull/83824#issuecomment-817317170.)

r? `@Aaron1011`

3 years agoString::remove_matches O(n^2) -> O(n)
Tamir Duberstein [Fri, 26 Mar 2021 14:39:42 +0000 (10:39 -0400)]
String::remove_matches O(n^2) -> O(n)

Copy only non-matching bytes.

3 years agoUse iter::from_fn in String::remove_matches
Tamir Duberstein [Fri, 26 Mar 2021 14:38:32 +0000 (10:38 -0400)]
Use iter::from_fn in String::remove_matches

3 years agoAuto merge of #86054 - JohnTitor:rollup-j40z7sm, r=JohnTitor
bors [Sun, 6 Jun 2021 11:31:16 +0000 (11:31 +0000)]
Auto merge of #86054 - JohnTitor:rollup-j40z7sm, r=JohnTitor

Rollup of 8 pull requests

Successful merges:

 - #85436 (Avoid cloning cache key)
 - #85772 (Preserve metadata w/ Solaris-like linkers.)
 - #85920 (Tweak wasm_base target spec to indicate linker is not GNU and update linker inferring logic for wasm-ld.)
 - #85930 (Update standard library for IntoIterator implementation of arrays )
 - #85972 (Rustdoc html fixes)
 - #86028 (Drop an `if let` that will always succeed)
 - #86043 (don't clone attrs)
 - #86047 (Don't fire `invalid_doc_attributes` on `extern crate` items)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

3 years agoparser: Ensure that all nonterminals have tokens after parsing
Vadim Petrochenkov [Thu, 6 May 2021 13:21:40 +0000 (16:21 +0300)]
parser: Ensure that all nonterminals have tokens after parsing

3 years agoRollup merge of #86047 - jyn514:doc-attrs, r=petrochenkov
Yuki Okushi [Sun, 6 Jun 2021 10:11:24 +0000 (19:11 +0900)]
Rollup merge of #86047 - jyn514:doc-attrs, r=petrochenkov

Don't fire `invalid_doc_attributes` on `extern crate` items

Fixes https://github.com/rust-lang/rust/issues/86046.

3 years agoRollup merge of #86043 - klensy:attr-clone, r=jyn514
Yuki Okushi [Sun, 6 Jun 2021 10:11:23 +0000 (19:11 +0900)]
Rollup merge of #86043 - klensy:attr-clone, r=jyn514

don't clone attrs

3 years agoRollup merge of #86028 - LingMan:dupe_empty_check, r=jyn514
Yuki Okushi [Sun, 6 Jun 2021 10:11:22 +0000 (19:11 +0900)]
Rollup merge of #86028 - LingMan:dupe_empty_check, r=jyn514

Drop an `if let` that will always succeed

We've already checked that `proj_base == []` in the line above and renaming
`place_local` to `local` doesn't gain us anything.

``@rustbot`` modify labels +C-cleanup +T-compiler

3 years agoRollup merge of #85972 - GuillaumeGomez:rustdoc-html-fixes, r=jsha
Yuki Okushi [Sun, 6 Jun 2021 10:11:21 +0000 (19:11 +0900)]
Rollup merge of #85972 - GuillaumeGomez:rustdoc-html-fixes, r=jsha

Rustdoc html fixes

#84480 latest update allowed me to fix the remaining issues. The last one is coming from `pulldown-cmark` so I'll send them a fix soon.

r? ``@jsha``

3 years agoRollup merge of #85930 - mominul:array_into_iter, r=m-ou-se
Yuki Okushi [Sun, 6 Jun 2021 10:11:19 +0000 (19:11 +0900)]
Rollup merge of #85930 - mominul:array_into_iter, r=m-ou-se

Update standard library for IntoIterator implementation of arrays

This PR partially resolves issue #84513 of updating the standard library part.

I haven't found any remaining doctest examples which are using iterators over e.g. &i32 instead of just i32 in the standard library. Can anyone point me to them if there's remaining any?

Thanks!

r? ```@m-ou-se```

3 years agoRollup merge of #85920 - luqmana:wasm-linker-tweaks, r=petrochenkov
Yuki Okushi [Sun, 6 Jun 2021 10:11:18 +0000 (19:11 +0900)]
Rollup merge of #85920 - luqmana:wasm-linker-tweaks, r=petrochenkov

Tweak wasm_base target spec to indicate linker is not GNU and update linker inferring logic for wasm-ld.

Reported via [Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/wasi.20linker.20unknown.20argument.3A.20--as-needed): we try passing `--as-needed` to the linker if it's GNU ld which `wasm-ld` is not. Usually this isn't an issue for wasm as we would use the WasmLd linker driver but because the linker in question (`wasm32-unknown-wasi-wasm-ld`) ended with `-ld` our linker inferring [logic](https://github.com/rust-lang/rust/blob/f64503eb555475d65ae5503ef22439ca5dd394fd/compiler/rustc_codegen_ssa/src/back/link.rs#L957-L1040) used the `GccLinker` implementations. (UPD: The linker inferring logic actually didn't apply in this case because the linker is actually invoked through gcc in the reported issue. But it's still worth updating the logic I think.)

This change then has 2 parts:
1. Update wasm_base target spec to indicate `linker_is_gnu: false` plus a few additions of `target.is_like_wasm` to handle flags `wasm-ld` does in fact support.
2. Improve the linker detection logic to properly determine the correct flavor of wasm linker we're using when we can.

We need to add the new `target.is_like_wasm` branches to handle the case where the "linker" used could be something like clang which would then under the hood call wasm-ld.

3 years agoRollup merge of #85772 - luqmana:ignored-metadata, r=petrochenkov
Yuki Okushi [Sun, 6 Jun 2021 10:11:17 +0000 (19:11 +0900)]
Rollup merge of #85772 - luqmana:ignored-metadata, r=petrochenkov

Preserve metadata w/ Solaris-like linkers.

#84468 moved the `-zignore` linker flag from the `gc_sections` method to `add_as_needed` which is more accurate but Solaris-style linkers will also end up removing an unreferenced ELF sections [1]. This had the unfortunate side effect of causing the `.rustc` section (which has the metada) to be removed which could cause issues when trying to link against the resulting crates or use proc macros.

Since the `-zignore` is positional, we fix this by moving the metadata objects to before the flag.

[1] Specifically a section is considered unreferenced if:
* The section is allocatable
* No other sections bind to (relocate) to this section
* The section provides no global symbols

https://docs.oracle.com/cd/E19683-01/817-3677/6mj8mbtbs/index.html#chapter4-19

3 years agoRollup merge of #85436 - tamird:save-clone, r=estebank
Yuki Okushi [Sun, 6 Jun 2021 10:11:16 +0000 (19:11 +0900)]
Rollup merge of #85436 - tamird:save-clone, r=estebank

Avoid cloning cache key

r? `@estebank`

3 years agoAuto merge of #84863 - ABouttefeux:libtest, r=m-ou-se
bors [Sun, 6 Jun 2021 09:13:59 +0000 (09:13 +0000)]
Auto merge of #84863 - ABouttefeux:libtest, r=m-ou-se

Show test type during prints

Test output can sometimes be confusing. For example doctest with the no_run argument are displayed the same way than test that are run.

During #83857 I got the feedback that test output can be confusing.

For the moment test output is
```
test $DIR/test-type.rs - f (line 12) ... ignored
test $DIR/test-type.rs - f (line 15) ... ok
test $DIR/test-type.rs - f (line 21) ... ok
test $DIR/test-type.rs - f (line 6) ... ok
```

I propose to change output by indicating the test type as
```
test $DIR/test-type.rs - f (line 12) ... ignored
test $DIR/test-type.rs - f (line 15) - compile ... ok
test $DIR/test-type.rs - f (line 21) - compile fail ... ok
test $DIR/test-type.rs - f (line 6) ... ok
```
by indicating the test type after the test name (and in the case of doctest after the function name and line) and before the "...".

------------

Note: this is a proof of concept, the implementation is probably not optimal as the properties added in `TestDesc` are only use in the display and does not represent actual change of behavior, maybe `TestType::DocTest` could have fields

3 years agoUnify duplicate linker_and_flavor methods in rustc_codegen_{cranelift,ssa}.
Luqman Aden [Sat, 5 Jun 2021 02:47:28 +0000 (19:47 -0700)]
Unify duplicate linker_and_flavor methods in rustc_codegen_{cranelift,ssa}.

3 years agoAuto merge of #84171 - ricobbe:raw-dylib-via-llvm, r=petrochenkov
bors [Sun, 6 Jun 2021 03:59:17 +0000 (03:59 +0000)]
Auto merge of #84171 - ricobbe:raw-dylib-via-llvm, r=petrochenkov

Partial support for raw-dylib linkage

First cut of functionality for issue #58713: add support for `#[link(kind = "raw-dylib")]` on `extern` blocks in lib crates compiled to .rlib files.  Does not yet support `#[link_name]` attributes on functions, or the `#[link_ordinal]` attribute, or `#[link(kind = "raw-dylib")]` on `extern` blocks in bin crates; I intend to publish subsequent PRs to fill those gaps.  It's also not yet clear whether this works for functions in `extern "stdcall"` blocks; I also intend to investigate that shortly and make any necessary changes as a follow-on PR.

This implementation calls out to an LLVM function to construct the actual `.idata` sections as temporary `.lib` files on disk and then links those into the generated .rlib.

3 years agoDon't fire `invalid_doc_attributes` on `extern crate` items
Joshua Nelson [Sun, 6 Jun 2021 01:16:19 +0000 (21:16 -0400)]
Don't fire `invalid_doc_attributes` on `extern crate` items

3 years agoAuto merge of #79608 - alessandrod:bpf, r=nagisa
bors [Sun, 6 Jun 2021 01:02:32 +0000 (01:02 +0000)]
Auto merge of #79608 - alessandrod:bpf, r=nagisa

BPF target support

This adds `bpfel-unknown-none` and `bpfeb-unknown-none`, two new no_std targets that generate little and big endian BPF. The approach taken is very similar to the cuda target, where `TargetOptions::obj_is_bitcode` is enabled and code generation is done by the linker.

I added the targets to `dist-various-2`. There are [some tests](https://github.com/alessandrod/bpf-linker/tree/main/tests/assembly) in bpf-linker and I'm planning to add more. Those are currently not ran as part of rust CI.

3 years agoFix invalid ID value in all.html file
Guillaume Gomez [Thu, 3 Jun 2021 18:16:47 +0000 (20:16 +0200)]
Fix invalid ID value in all.html file

3 years agoAdd missing backslash in HTML layout string
Guillaume Gomez [Thu, 3 Jun 2021 18:07:54 +0000 (20:07 +0200)]
Add missing backslash in HTML layout string

3 years agoEscape <meta> content attribute value
Guillaume Gomez [Thu, 3 Jun 2021 18:07:25 +0000 (20:07 +0200)]
Escape <meta> content attribute value

3 years agoAuto merge of #86002 - cjgillot:expn_that_defined, r=petrochenkov
bors [Sat, 5 Jun 2021 21:10:01 +0000 (21:10 +0000)]
Auto merge of #86002 - cjgillot:expn_that_defined, r=petrochenkov

Always go through the expn_that_defined query.

3 years agoFix display for search results
Guillaume Gomez [Sat, 5 Jun 2021 21:03:54 +0000 (23:03 +0200)]
Fix display for search results

3 years agoAuto merge of #86032 - GuillaumeGomez:rollup-y3ij27b, r=GuillaumeGomez
bors [Sat, 5 Jun 2021 18:41:36 +0000 (18:41 +0000)]
Auto merge of #86032 - GuillaumeGomez:rollup-y3ij27b, r=GuillaumeGomez

Rollup of 7 pull requests

Successful merges:

 - #83646 (Add a map method to Bound)
 - #85501 (Fix `deny(invalid_doc_attributes)`)
 - #85503 (rustdoc: add tooltips to some buttons)
 - #85710 (Document `From` impls in path.rs)
 - #85760 (Possible errors when accessing file metadata are platform specific)
 - #85974 (td align attribute)
 - #86014 (msp430 linker does not accept -znoexecstack. Set linker_is_gnu to fal…)

Failed merges:

 - #85972 (Rustdoc html fixes)

r? `@ghost`
`@rustbot` modify labels: rollup

3 years agoUpdate compiler/rustc_middle/src/query/mod.rs
Camille Gillot [Sat, 5 Jun 2021 18:40:58 +0000 (20:40 +0200)]
Update compiler/rustc_middle/src/query/mod.rs

3 years agoRollup merge of #86014 - cr1901:msp430-link, r=jonas-schievink
Guillaume Gomez [Sat, 5 Jun 2021 17:41:45 +0000 (19:41 +0200)]
Rollup merge of #86014 - cr1901:msp430-link, r=jonas-schievink

msp430 linker does not accept -znoexecstack. Set linker_is_gnu to fal…

…se as workaround for now.

Tested locally and works. Closes #85948.

3 years agoRollup merge of #85974 - GuillaumeGomez:td-align, r=jsha
Guillaume Gomez [Sat, 5 Jun 2021 17:41:44 +0000 (19:41 +0200)]
Rollup merge of #85974 - GuillaumeGomez:td-align, r=jsha

td align attribute

This is a follow-up of #85972. I have put this one on its own because it changes the display:

![Screenshot from 2021-06-03 21-49-11](https://user-images.githubusercontent.com/3050060/120703622-d533d280-c4b5-11eb-9519-ea1131a40bee.png)

Without align:

![Screenshot from 2021-06-03 21-49-15](https://user-images.githubusercontent.com/3050060/120703623-d5cc6900-c4b5-11eb-95f9-878d3915c7fb.png)

I also opened an issue about it: raphlinus/pulldown-cmark#533. However, I'm not sure if this is the right course of action... Should we instead ignore the warning?

r? ``@jsha``

3 years agoRollup merge of #85760 - ChrisDenton:path-doc-platform-specific, r=m-ou-se
Guillaume Gomez [Sat, 5 Jun 2021 17:41:43 +0000 (19:41 +0200)]
Rollup merge of #85760 - ChrisDenton:path-doc-platform-specific, r=m-ou-se

Possible errors when accessing file metadata are platform specific

In particular the `is_dir`, `is_file` and `exists` functions suggests that querying a file requires querying the directory. On Windows this is not normally true.

r? `@m-ou-se`

3 years agoRollup merge of #85710 - fee1-dead:document-path, r=m-ou-se
Guillaume Gomez [Sat, 5 Jun 2021 17:41:42 +0000 (19:41 +0200)]
Rollup merge of #85710 - fee1-dead:document-path, r=m-ou-se

Document `From` impls in path.rs

3 years agoRollup merge of #85503 - liigo:tooltips, r=GuillaumeGomez
Guillaume Gomez [Sat, 5 Jun 2021 17:41:41 +0000 (19:41 +0200)]
Rollup merge of #85503 - liigo:tooltips, r=GuillaumeGomez

rustdoc: add tooltips to some buttons

3 years agoRollup merge of #85501 - jyn514:invalid-doc-attrs, r=varkor
Guillaume Gomez [Sat, 5 Jun 2021 17:41:40 +0000 (19:41 +0200)]
Rollup merge of #85501 - jyn514:invalid-doc-attrs, r=varkor

Fix `deny(invalid_doc_attributes)`

Fixes https://github.com/rust-lang/rust/issues/85497.

3 years agoRollup merge of #83646 - glittershark:bound-map, r=m-ou-se
Guillaume Gomez [Sat, 5 Jun 2021 17:41:34 +0000 (19:41 +0200)]
Rollup merge of #83646 - glittershark:bound-map, r=m-ou-se

Add a map method to Bound

Add a map method to std::ops::range::Bound, patterned off of the method
of the same name on Option.

Have left off creating a tracking issue initially, but as soon as I get the go-ahead from a reviewer I'll make that right away 😄

3 years agoDrop an `if let` that will always succeed
LingMan [Sat, 5 Jun 2021 16:12:47 +0000 (18:12 +0200)]
Drop an `if let` that will always succeed

We've already checked that `proj_base == []` in the line above and renaming
`place_local` to `local` doesn't gain us anything.

3 years agoAdd a map method to Bound
Griffin Smith [Mon, 29 Mar 2021 14:35:21 +0000 (10:35 -0400)]
Add a map method to Bound

Add a map method to std::ops::range::Bound, patterned off of the method
of the same name on Option

3 years agoRemove get_install_prefix_lib_path completely
bjorn3 [Sat, 5 Jun 2021 14:40:53 +0000 (16:40 +0200)]
Remove get_install_prefix_lib_path completely

It was broken anyway for rustup installs and nobody seems to have noticed.

3 years agoUse sysroot instead of CFG_PREFIX for the rpath
bjorn3 [Sat, 5 Jun 2021 14:36:27 +0000 (16:36 +0200)]
Use sysroot instead of CFG_PREFIX for the rpath

CFG_PREFIX is incorrect for rustup installed rustc versions. It also
causes unnecessary recompilation when changing the install prefix.

3 years agoAuto merge of #85869 - tmiasko:box-free, r=nagisa
bors [Sat, 5 Jun 2021 14:08:38 +0000 (14:08 +0000)]
Auto merge of #85869 - tmiasko:box-free, r=nagisa

Remove special handling of `box_free` from `LocalAnalyzer`

The special casing of `box_free` predates the use of dominators in
analyzer. It is no longer necessary now that analyzer verifies that
the first assignment dominates all uses.

3 years agoRemove `_` from E0121 diagnostic suggestions
Deadbeef [Sat, 5 Jun 2021 13:10:08 +0000 (21:10 +0800)]
Remove `_`  from E0121 diagnostic suggestions

3 years agoAuto merge of #86001 - richkadel:revert-85617-rustin-patch-fix, r=Mark-Simulacrum
bors [Sat, 5 Jun 2021 11:12:57 +0000 (11:12 +0000)]
Auto merge of #86001 - richkadel:revert-85617-rustin-patch-fix, r=Mark-Simulacrum

Revert "shrinking the deprecated method span"

Reverts rust-lang/rust#85617

Fixes: #86000
r? `@Mark-Simulacrum`

3 years agoAuto merge of #85990 - jyn514:channel-replace-rustdoc, r=Manishearth
bors [Sat, 5 Jun 2021 08:42:05 +0000 (08:42 +0000)]
Auto merge of #85990 - jyn514:channel-replace-rustdoc, r=Manishearth

rustdoc: link consistently to stable/beta in diagnostic messages

Builds on https://github.com/rust-lang/rust/pull/84942. This makes the diagnostics consistent with the links.

3 years agoAuto merge of #85919 - workingjubilee:simd-ptrs-are-valid, r=petrochenkov
bors [Sat, 5 Jun 2021 06:17:17 +0000 (06:17 +0000)]
Auto merge of #85919 - workingjubilee:simd-ptrs-are-valid, r=petrochenkov

Allow raw pointers in SIMD types

Closes #85915 by loosening the strictness in typechecking and adding a test to guarantee it passes.

This still might be too strict, as references currently do pass monomorphization, but my understanding is that they are not guaranteed to be "scalar" in the same way.

3 years agoAuto merge of #85457 - jyn514:remove-doc-include, r=GuillaumeGomez
bors [Sat, 5 Jun 2021 03:36:26 +0000 (03:36 +0000)]
Auto merge of #85457 - jyn514:remove-doc-include, r=GuillaumeGomez

Remove `doc(include)`

This nightly feature is redundant now that `extended_key_value_attributes` is stable (https://github.com/rust-lang/rust/pull/83366). `@rust-lang/rustdoc` not sure if you think this needs FCP; there was already an FCP in #82539, but technically it was for deprecating, not removing the feature altogether.

This should not be merged before #83366.

cc `@petrochenkov`

3 years agoPass --cfg=bootstrap for proc_macros or build scripts built by stage0
Joshua Nelson [Wed, 24 Mar 2021 01:48:29 +0000 (21:48 -0400)]
Pass --cfg=bootstrap for proc_macros or build scripts built by stage0

Cargo ignores RUSTFLAGS when building proc macro crates. However,
sometimes rustc_macro needs to have conditional compilation when there
are breaking changes to the `libproc_macro` API (see for example
tell the difference between stage 0 and stage 1.

Another alternative is to unconditionally build rustc_macros with the
master libstd instead of the beta one (i.e. use `--sysroot
stage0-sysroot`), but that led to strange and maddening errors:

```
error[E0460]: found possibly newer version of crate `std` which `proc_macro2` depends on
  --> /home/joshua/.local/lib/cargo/registry/src/github.com-1ecc6299db9ec823/tracing-attributes-0.1.13/src/lib.rs:90:5
   |
90 | use proc_macro2::TokenStream;
   |     ^^^^^^^^^^^
   |
   = note: perhaps that crate needs to be recompiled?
   = note: the following crate versions were found:
           crate `std`: /home/joshua/rustc2/build/x86_64-unknown-linux-gnu/stage0-sysroot/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-b3602c301b71cc3d.rmeta
           crate `proc_macro2`: /home/joshua/rustc2/build/x86_64-unknown-linux-gnu/stage0-rustc/release/deps/libproc_macro2-a83c1f01610c129e.rlib
```

3 years agoAuto merge of #84234 - jyn514:blanket-hash, r=Aaron1011
bors [Sat, 5 Jun 2021 01:08:51 +0000 (01:08 +0000)]
Auto merge of #84234 - jyn514:blanket-hash, r=Aaron1011

Implement DepTrackingHash for `Option` through blanket impls instead of macros

This avoids having to add a new macro call for both the `Option` and the type itself.

Noticed this while working on https://github.com/rust-lang/rust/pull/84233.
r? `@Aaron1011`

3 years agoAdd first cut of functionality for #58713: support for #[link(kind = "raw-dylib")].
Richard Cobbe [Mon, 8 Mar 2021 20:42:54 +0000 (12:42 -0800)]
Add first cut of functionality for #58713: support for #[link(kind = "raw-dylib")].

This does not yet support #[link_name] attributes on functions, the #[link_ordinal]
attribute, #[link(kind = "raw-dylib")] on extern blocks in bin crates, or
stdcall functions on 32-bit x86.

3 years agomsp430 linker does not accept -znoexecstack. Set linker_is_gnu to false as workaround...
William D. Jones [Sat, 5 Jun 2021 00:37:53 +0000 (20:37 -0400)]
msp430 linker does not accept -znoexecstack. Set linker_is_gnu to false as workaround for now.

3 years agoFix handling of unmatched angle brackets in parser
Fabian Wolff [Fri, 4 Jun 2021 20:46:57 +0000 (22:46 +0200)]
Fix handling of unmatched angle brackets in parser

3 years agoAuto merge of #86006 - JohnTitor:rollup-97iuoi3, r=JohnTitor
bors [Fri, 4 Jun 2021 22:18:16 +0000 (22:18 +0000)]
Auto merge of #86006 - JohnTitor:rollup-97iuoi3, r=JohnTitor

Rollup of 10 pull requests

Successful merges:

 - #83653 (Remove unused code from `rustc_data_structures::sync`)
 - #84466 (rustdoc: Remove `PrimitiveType::{to_url_str, as_str}`)
 - #84880 (Make match in `register_res` easier to read)
 - #84942 (rustdoc: link to stable/beta docs consistently in documentation)
 - #85853 (Warn against boxed DST in `improper_ctypes_definitions` lint)
 - #85939 (Fix suggestion for removing &mut from &mut macro!().)
 - #85966 (wasm: Make simd types passed via indirection again)
 - #85979 (don't suggest unsized indirection in where-clauses)
 - #85983 (Update to semver 1.0.3)
 - #85988 (Note that `ninja = false` goes under `[llvm]`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

3 years agoAdded a new test demonstrating the issue requiring revert
Rich Kadel [Fri, 4 Jun 2021 22:14:32 +0000 (15:14 -0700)]
Added a new test demonstrating the issue requiring revert

Note, the `Debug` impl is required.

3 years agoRollup merge of #85988 - jyn514:ninja-error, r=joshtriplett
Yuki Okushi [Fri, 4 Jun 2021 21:13:47 +0000 (06:13 +0900)]
Rollup merge of #85988 - jyn514:ninja-error, r=joshtriplett

Note that `ninja = false` goes under `[llvm]`

Addresses https://github.com/rust-lang/rust/issues/84938#issuecomment-852448332 - `@kornelski` does this look good?

r? `@Mark-Simulacrum` cc `@joshtriplett`

3 years agoRollup merge of #85983 - dtolnay:semverx, r=ehuss
Yuki Okushi [Fri, 4 Jun 2021 21:13:46 +0000 (06:13 +0900)]
Rollup merge of #85983 - dtolnay:semverx, r=ehuss

Update to semver 1.0.3

Fixes https://github.com/rust-lang/cargo/pull/9508#issuecomment-854326213 by pulling in https://github.com/dtolnay/semver/pull/247.

Fixes https://github.com/rust-lang/cargo/issues/9543

3 years agoRollup merge of #85979 - tlyu:where-no-unsized-indirection, r=estebank
Yuki Okushi [Fri, 4 Jun 2021 21:13:45 +0000 (06:13 +0900)]
Rollup merge of #85979 - tlyu:where-no-unsized-indirection, r=estebank

don't suggest unsized indirection in where-clauses

Skip where-clauses when suggesting using indirection in combination with
`?Sized` bounds on type parameters.

Fixes #85943.

`@estebank` I think this doesn't conflict with your work in #85947; please let me know if you'd like me to cherry pick it to a new branch based on yours instead.

3 years agoRollup merge of #85966 - alexcrichton:wasm-simd-indirect, r=workingjubilee
Yuki Okushi [Fri, 4 Jun 2021 21:13:43 +0000 (06:13 +0900)]
Rollup merge of #85966 - alexcrichton:wasm-simd-indirect, r=workingjubilee

wasm: Make simd types passed via indirection again

This commit updates wasm target specs to use `simd_types_indirect: true`
again. Long ago this was added since wasm simd types were always
translated to `v128` under-the-hood in LLVM, meaning that it didn't
matter whether that target feature was enabled or not. Now, however,
`v128` is conditionally used in codegen depending on target features
enabled, meaning that it's possible to get linker errors about different
signatures in code that correctly uses simd types. The fix is the same
as for all other platforms, which is to pass the type indirectly.

3 years agoRollup merge of #85939 - m-ou-se:fix-remove-ref-macro-invocation, r=estebank
Yuki Okushi [Fri, 4 Jun 2021 21:13:39 +0000 (06:13 +0900)]
Rollup merge of #85939 - m-ou-se:fix-remove-ref-macro-invocation, r=estebank

Fix suggestion for removing &mut from &mut macro!().

Fixes #85933

Before: (Note the suggestions.)
```
error[E0308]: mismatched types
 --> src/main.rs:2:21
  |
2 |     let _: String = &mut format!("");
  |            ------   ^^^^^^^^^^^^^^^^
  |            |        |
  |            |        expected struct `String`, found `&mut String`
  |            |        help: consider removing the borrow: `mut format!("")`
  |            expected due to this

error[E0308]: mismatched types
 --> src/main.rs:3:21
  |
3 |     let _: String = &mut (format!(""));
  |            ------   ^^^^^^^^^^^^^^^^^^
  |            |        |
  |            |        expected struct `String`, found `&mut String`
  |            |        help: consider removing the borrow: `mut (format!(""))`
  |            expected due to this
```

After:
```
error[E0308]: mismatched types
 --> src/main.rs:2:21
  |
2 |     let _: String = &mut format!("");
  |            ------   ^^^^^^^^^^^^^^^^
  |            |        |
  |            |        expected struct `String`, found `&mut String`
  |            |        help: consider removing the borrow: `format!("")`
  |            expected due to this

error[E0308]: mismatched types
 --> src/main.rs:3:21
  |
3 |     let _: String = &mut (format!(""));
  |            ------   ^^^^^^^^^^^^^^^^^^
  |            |        |
  |            |        expected struct `String`, found `&mut String`
  |            |        help: consider removing the borrow: `format!("")`
  |            expected due to this
```

3 years agoRollup merge of #85853 - marmeladema:improper-ctypes-definitions-boxed-dst, r=petroch...
Yuki Okushi [Fri, 4 Jun 2021 21:13:38 +0000 (06:13 +0900)]
Rollup merge of #85853 - marmeladema:improper-ctypes-definitions-boxed-dst, r=petrochenkov

Warn against boxed DST in `improper_ctypes_definitions` lint

Fixes #85714

3 years agoRollup merge of #84942 - jyn514:channel-replace, r=Manishearth
Yuki Okushi [Fri, 4 Jun 2021 21:13:37 +0000 (06:13 +0900)]
Rollup merge of #84942 - jyn514:channel-replace, r=Manishearth

rustdoc: link to stable/beta docs consistently in documentation

This is an alternative to https://github.com/rust-lang/rust/pull/84941 which fixes the problem consistently by linking to stable/beta for *all* items, not just for primitives.

 ## User-facing changes

- Intra-doc links to primitives that currently go to rust-lang.org/nightly/std/primitive.x.html will start going to channel that rustdoc was built with. Nightly will continue going to /nightly; Beta will link to /beta; stable compilers will link to /1.52.1 (or whatever version they were built as).
- Cross-crate links from std to core currently go to /nightly unconditionally. They will start going to /1.52.0 on stable channels (but remain the same on nightly channels).
- Intra-crate links from std to std (or core to core) currently go to the same URL they are hosted at; they will continue to do so. Notably, this is different from everything else because it can preserve the distinction between /stable and /1.52.0 by using relative links.

Note that "links" includes both intra-doc links and rustdoc's own
automatically generated hyperlinks.

 ## Implementation changes

- Update the testsuite to allow linking to /beta and /1.52.1 in docs
- Use an html_root_url for the standard library that's dependent on the channel

  This avoids linking to nightly docs on stable.

- Update rustdoc to use channel-dependent links for primitives from an
  unknown crate

- Set DOC_RUST_LANG_ORG_CHANNEL from bootstrap to ensure it's in sync
- Include doc.rust-lang.org in the channel

cc Mark-Simulacrum - I know [you were dubious about this in the past](https://rust-lang.zulipchat.com/#narrow/stream/122651-general/topic/Rustdoc.20unconditionally.20links.20to.20nightly.20libstd.20docs/near/231223124), but I'm not quite sure why? I see this as "just a bugfix", I don't know why rustdoc should unconditionally link to nightly.
cc dtolnay who commented in https://github.com/rust-lang/rust/issues/30693:

>  I would welcome a PR to solve this permanently if anyone has ideas for how. I don't believe we need an RFC.

Fixes https://github.com/rust-lang/rust/issues/30693 (note that issue is marked as feature-accepted, although I don't see where it was discussed).

3 years agoRollup merge of #84880 - jyn514:cleanup-itemkind, r=GuillaumeGomez
Yuki Okushi [Fri, 4 Jun 2021 21:13:32 +0000 (06:13 +0900)]
Rollup merge of #84880 - jyn514:cleanup-itemkind, r=GuillaumeGomez

Make match in `register_res` easier to read

- Don't duplicate DefKind -> ItemType handling; that's a good way to get bugs
- Use exhaustive match
- Add comments

This found that register_res is very wrong in at least one way: if it
registers a Res for `Variant`, it should also register one for `Field`.
But I don't know whether the one for Variant should be removed or Field
added. Maybe someone has ideas?

Found while reviewing https://github.com/rust-lang/rust/pull/84176.

3 years agoRollup merge of #84466 - jyn514:prim-str, r=GuillaumeGomez
Yuki Okushi [Fri, 4 Jun 2021 21:13:30 +0000 (06:13 +0900)]
Rollup merge of #84466 - jyn514:prim-str, r=GuillaumeGomez

rustdoc: Remove `PrimitiveType::{to_url_str, as_str}`

These can easily be rewritten in terms of `as_sym`, and this avoids bugs where the two get out of sync.

I don't expect this to have a perf impact, but I'll start a perf run just in case.

3 years agoRollup merge of #83653 - jyn514:unused-sync-code, r=wesleywiser
Yuki Okushi [Fri, 4 Jun 2021 21:13:29 +0000 (06:13 +0900)]
Rollup merge of #83653 - jyn514:unused-sync-code, r=wesleywiser

Remove unused code from `rustc_data_structures::sync`

Found using https://github.com/est31/warnalyzer. Follow-up to https://github.com/rust-lang/rust/pull/83185.

r? `@Zoxc` cc `@oli-obk`

3 years agoRemove incorrect assertion in type parsing code
Fabian Wolff [Fri, 4 Jun 2021 17:48:24 +0000 (19:48 +0200)]
Remove incorrect assertion in type parsing code

3 years agoAlways go through the expn_that_defined query.
Camille GILLOT [Fri, 4 Jun 2021 19:37:05 +0000 (21:37 +0200)]
Always go through the expn_that_defined query.

3 years agoAuto merge of #84449 - alexcrichton:metadata-in-object, r=nagisa
bors [Fri, 4 Jun 2021 19:29:50 +0000 (19:29 +0000)]
Auto merge of #84449 - alexcrichton:metadata-in-object, r=nagisa

rustc: Store metadata-in-rlibs in object files

This commit updates how rustc compiler metadata is stored in rlibs.
Previously metadata was stored as a raw file that has the same format as
`--emit metadata`. After this commit, however, the metadata is encoded
into a small object file which has one section which is the contents of
the metadata.

The motivation for this commit is to fix a common case where #83730
arises. The problem is that when rustc crates a `dylib` crate type it
needs to include entire rlib files into the dylib, so it passes
`--whole-archive` (or the equivalent) to the linker. The problem with
this, though, is that the linker will attempt to read all files in the
archive. If the metadata file were left as-is (today) then the linker
would generate an error saying it can't read the file. The previous
solution was to alter the rlib just before linking, creating a new
archive in a temporary directory which has the metadata file removed.

This problem from before this commit is now removed if the metadata file
is stored in an object file that the linker can read. The only caveat we
have to take care of is to ensure that the linker never actually
includes the contents of the object file into the final output. We apply
similar tricks as the `.llvmbc` bytecode sections to do this.

This involved changing the metadata loading code a bit, namely updating
some of the LLVM C APIs used to use non-deprecated ones and fiddling
with the lifetimes a bit to get everything to work out. Otherwise though
this isn't intended to be a functional change really, only that metadata
is stored differently in archives now.

This should end up fixing #83730 because by default dylibs will no
longer have their rlib dependencies "altered" meaning that
split-debuginfo will continue to have valid paths pointing at the
original rlibs. (note that we still "alter" rlibs if LTO is enabled to
remove Rust object files and we also "alter" for the #[link(cfg)]
feature, but that's rarely used).

Closes #83730