]> git.lizzy.rs Git - rust.git/log
rust.git
3 years agoRemove another unnecessary `Option`
Camelid [Tue, 23 Mar 2021 18:19:42 +0000 (11:19 -0700)]
Remove another unnecessary `Option`

The previous changes mean that we can now remove this `Option`.

3 years agoRemove unnecessary `Option` wrapping around `Crate.module`
Camelid [Tue, 23 Mar 2021 18:04:09 +0000 (11:04 -0700)]
Remove unnecessary `Option` wrapping around `Crate.module`

I'm wondering if it was originally there so that we could `take` the
module which enables `after_krate` to take an `&Crate`. However, the two
impls of `after_krate` only use `Crate.name`, so we can pass just the
name instead.

3 years agoTweak docs
Camelid [Tue, 23 Mar 2021 17:37:58 +0000 (10:37 -0700)]
Tweak docs

Co-authored-by: Joshua Nelson <joshua@yottadb.com>
3 years agoAdd has_default to GenericParamDefKind::Const
kadmin [Tue, 11 Aug 2020 00:02:45 +0000 (00:02 +0000)]
Add has_default to GenericParamDefKind::Const

This currently creates a field which is always false on GenericParamDefKind for future use when
consts are permitted to have defaults

Update const_generics:default locations

Previously just ignored them, now actually do something about them.

Fix using type check instead of value

Add parsing

This adds all the necessary changes to lower const-generics defaults from parsing.

Change P<Expr> to AnonConst

This matches the arguments passed to instantiations of const generics, and makes it specific to
just anonymous constants.

Attempt to fix lowering bugs

3 years agoUpdate with comments
kadmin [Sat, 20 Mar 2021 22:34:58 +0000 (22:34 +0000)]
Update with comments

3 years agoUpdate with comments
kadmin [Thu, 18 Mar 2021 06:38:11 +0000 (06:38 +0000)]
Update with comments

A bunch of nits fixed, and a new test for pretty printing the AST.

3 years agoAdd query for const_param_default
kadmin [Wed, 3 Mar 2021 06:38:02 +0000 (06:38 +0000)]
Add query for const_param_default

3 years agoUpdate tests
kadmin [Mon, 1 Mar 2021 21:41:49 +0000 (21:41 +0000)]
Update tests

3 years agoprogress, stuff compiles now
lcnr [Mon, 1 Mar 2021 11:50:09 +0000 (12:50 +0100)]
progress, stuff compiles now

3 years agoSome refactoring
varkor [Wed, 30 Dec 2020 15:34:53 +0000 (15:34 +0000)]
Some refactoring

3 years agoAdd has_default to GenericParamDefKind::Const
kadmin [Tue, 11 Aug 2020 00:02:45 +0000 (00:02 +0000)]
Add has_default to GenericParamDefKind::Const

This currently creates a field which is always false on GenericParamDefKind for future use when
consts are permitted to have defaults

Update const_generics:default locations

Previously just ignored them, now actually do something about them.

Fix using type check instead of value

Add parsing

This adds all the necessary changes to lower const-generics defaults from parsing.

Change P<Expr> to AnonConst

This matches the arguments passed to instantiations of const generics, and makes it specific to
just anonymous constants.

Attempt to fix lowering bugs

3 years agoFix comment.
Camille GILLOT [Tue, 23 Mar 2021 11:59:53 +0000 (12:59 +0100)]
Fix comment.

3 years agoUse &str instead of String
Guillaume Gomez [Tue, 23 Mar 2021 16:36:36 +0000 (17:36 +0100)]
Use &str instead of String

3 years agoAuto merge of #6957 - camsteffen:eq-ty-kind, r=flip1995
bors [Tue, 23 Mar 2021 16:25:28 +0000 (16:25 +0000)]
Auto merge of #6957 - camsteffen:eq-ty-kind, r=flip1995

Factor out `SpanlessEq::eq_ty_kind`

changelog: none

3 years agoAdd test to enforce sidebar trait items order
Guillaume Gomez [Fri, 12 Mar 2021 13:25:01 +0000 (14:25 +0100)]
Add test to enforce sidebar trait items order

3 years agoFix sidebar trait items sort
Guillaume Gomez [Fri, 12 Mar 2021 11:19:31 +0000 (12:19 +0100)]
Fix sidebar trait items sort

3 years agoFactor out eq_ty_kind
Cameron Steffen [Tue, 23 Mar 2021 15:40:27 +0000 (10:40 -0500)]
Factor out eq_ty_kind

3 years agoAuto merge of #83177 - erikdesjardins:zstassign, r=oli-obk
bors [Tue, 23 Mar 2021 12:23:27 +0000 (12:23 +0000)]
Auto merge of #83177 - erikdesjardins:zstassign, r=oli-obk

Remove assignments to ZST places instead of marking ZST return place as unused

partially reverts #83118

requested by `@tmiasko` in https://github.com/rust-lang/rust/pull/83118#issuecomment-799692574

r? `@oli-obk`

3 years agoExpose str::SplitInclusive in alloc and therefore in std
Ian Jackson [Tue, 23 Mar 2021 11:57:03 +0000 (11:57 +0000)]
Expose str::SplitInclusive in alloc and therefore in std

This seems to have been omitted from the beginning when this feature
was first introduced in 86bf96291d82.

Most users won't need to name this type which is probably why this
wasn't noticed in the meantime.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoSlight visual improvements to warning boxes in the docs
r00ster91 [Tue, 23 Mar 2021 11:23:45 +0000 (12:23 +0100)]
Slight visual improvements to warning boxes in the docs

3 years agoAuto merge of #83260 - durin42:llvm-update, r=nagisa
bors [Tue, 23 Mar 2021 09:42:22 +0000 (09:42 +0000)]
Auto merge of #83260 - durin42:llvm-update, r=nagisa

rustc: changes to allow an llvm update

This lets LLVM be built using 2b5f3f446f36, which is only a few weeks old. The next change in LLVM (5de2d189e6ad) breaks rustc again by removing a function that's exposed into the Rust code, but I'll file a bug about that separately.

Please scrutinize the `thinLTOResolvePrevailingInIndex` call, as I'm not at all sure an empty config is right.

I'm also suspicious that a specific alignment could be specified in the call to CreateAtomicCmpXchg, but I don't know enough to figure that out.

Thanks!

3 years agoChange def_id filter to use requires_monomorphization()
Rich Kadel [Tue, 23 Mar 2021 07:33:57 +0000 (00:33 -0700)]
Change def_id filter to use requires_monomorphization()

Per @wesleywiser's comment: https://github.com/rust-lang/rust/pull/83307#discussion_r599223342

3 years agoAuto merge of #82271 - Aaron1011:debug-refcell, r=m-ou-se
bors [Tue, 23 Mar 2021 04:49:47 +0000 (04:49 +0000)]
Auto merge of #82271 - Aaron1011:debug-refcell, r=m-ou-se

Add `debug-refcell` feature to libcore

See https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Attaching.20backtraces.20to.20RefCell/near/226273614
for some background discussion

This PR adds a new off-by-default feature `debug-refcell` to libcore.
When enabled, this feature stores additional debugging information in
`RefCell`. This information is included in the panic message when
`borrow()` or `borrow_mut()` panics, to make it easier to track down the
source of the issue.

Currently, we store the caller location for the earliest active borrow.
This has a number of advantages:
* There is only a constant amount of overhead per `RefCell`
* We don't need any heap memory, so it can easily be implemented in core
* Since we are storing the *earliest* active borrow, we don't need any
  extra logic in the `Drop` implementation for `Ref` and `RefMut`

Limitations:
* We only store the caller location, not a full `Backtrace`. Until
  we get support for `Backtrace` in libcore, this is the best tha we can
do.
* The captured location is only displayed when `borrow()` or
  `borrow_mut()` panics. If a crate calls `try_borrow().unwrap()`
  or `try_borrow_mut().unwrap()`, this extra information will be lost.

To make testing easier, I've enabled the `debug-refcell` feature by
default. I'm not sure how to write a test for this feature - we would
need to rebuild core from the test framework, and create a separate
sysroot.

Since this feature will be off-by-default, users will need to use
`xargo` or `cargo -Z build-std` to enable this feature. For users using
a prebuilt standard library, this feature will be disabled with zero
overhead.

I've created a simple test program:

```rust
use std::cell::RefCell;

fn main() {
    let _ = std::panic::catch_unwind(|| {
        let val = RefCell::new(true);
        let _first = val.borrow();
        let _second = val.borrow();
        let _third = val.borrow_mut();
    });

    let _ = std::panic::catch_unwind(|| {
        let val  = RefCell::new(true);
        let first = val.borrow_mut();
        drop(first);

        let _second = val.borrow_mut();

        let _thid = val.borrow();
    });
}
```

which produces the following output:

```
thread 'main' panicked at 'already borrowed: BorrowMutError at refcell_test.rs:6:26', refcell_test.rs:8:26
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'already mutably borrowed: BorrowError at refcell_test.rs:16:27', refcell_test.rs:18:25
```

3 years agoDon't push the crate name onto the `Cache.stack`
Camelid [Tue, 23 Mar 2021 04:18:06 +0000 (21:18 -0700)]
Don't push the crate name onto the `Cache.stack`

Now that we record the crate's name in its `clean::Item`, pushing the
crate name onto the `stack` causes duplicate paths. E.g., the URL
generated for the path `::foo::bar::baz` would be something like

    ../foo/foo/bar/baz

With this commit, the URL is corrected to

    ../foo/bar/baz

3 years agoAuto merge of #83398 - JohnTitor:rollup-om80krv, r=JohnTitor
bors [Tue, 23 Mar 2021 02:01:14 +0000 (02:01 +0000)]
Auto merge of #83398 - JohnTitor:rollup-om80krv, r=JohnTitor

Rollup of 7 pull requests

Successful merges:

 - #80705 (Update Source Code Pro and include italics)
 - #81917 (Update RELEASES.md for 1.51.0)
 - #82732 (Remove theme.js file)
 - #83356 (rustdoc: Replace pair of `Option`s with an enum)
 - #83384 (rename :pat2018 -> :pat2015)
 - #83385 (:arrow_up: rust-analyzer)
 - #83389 (add rust-analyzer rustc_private option in librustdoc Cargo.toml)

Failed merges:

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

3 years agorustdoc: Record crate name instead of using `None`
Camelid [Tue, 23 Mar 2021 01:18:57 +0000 (18:18 -0700)]
rustdoc: Record crate name instead of using `None`

3 years agoRollup merge of #83389 - njasm:test_rustdoc, r=jyn514
Yuki Okushi [Tue, 23 Mar 2021 01:15:45 +0000 (10:15 +0900)]
Rollup merge of #83389 - njasm:test_rustdoc, r=jyn514

add rust-analyzer rustc_private option in librustdoc Cargo.toml

This addition will allow to have code completion while hacking rustdoc with rust-analyzer.

more info: https://rust-analyzer.github.io/manual.html#rust-analyzer.rustcSource

r? `@jyn514`

3 years agoRollup merge of #83385 - lnicola:rust-analyzer-2021-03-22, r=jonas-schievink
Yuki Okushi [Tue, 23 Mar 2021 01:15:44 +0000 (10:15 +0900)]
Rollup merge of #83385 - lnicola:rust-analyzer-2021-03-22, r=jonas-schievink

:arrow_up: rust-analyzer

3 years agoRollup merge of #83384 - mark-i-m:rename-pat2018, r=joshtriplett
Yuki Okushi [Tue, 23 Mar 2021 01:15:43 +0000 (10:15 +0900)]
Rollup merge of #83384 - mark-i-m:rename-pat2018, r=joshtriplett

rename :pat2018 -> :pat2015

as requested by T-lang on zulip: https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/or.20patterns/near/231133873

No functional changes here... just renaming.

r? `@nikomatsakis`

3 years agoRollup merge of #83356 - camelid:rustdoc-option-to-enum, r=GuillaumeGomez
Yuki Okushi [Tue, 23 Mar 2021 01:15:42 +0000 (10:15 +0900)]
Rollup merge of #83356 - camelid:rustdoc-option-to-enum, r=GuillaumeGomez

rustdoc: Replace pair of `Option`s with an enum

They are never both `None` or both `Some`, so it makes more sense to use
an enum so that we "make impossible states impossible".

3 years agoRollup merge of #82732 - GuillaumeGomez:remove-theme-file, r=Nemo157
Yuki Okushi [Tue, 23 Mar 2021 01:15:40 +0000 (10:15 +0900)]
Rollup merge of #82732 - GuillaumeGomez:remove-theme-file, r=Nemo157

Remove theme.js file

Fixes #82616.

The first commit moves the `theme.js` file into `main.js`, which requires to also run a small `.replace` on the `main.js` content.

The second commit is just a small cleanup to centralize DOM ids.

Since it removes a file from rustdoc output: cc `@rust-lang/docs-rs`

cc `@jsha`
r? `@jyn514`

3 years agoRollup merge of #81917 - rust-lang:relnotes-1.51.0, r=Mark-Simulacrum
Yuki Okushi [Tue, 23 Mar 2021 01:15:39 +0000 (10:15 +0900)]
Rollup merge of #81917 - rust-lang:relnotes-1.51.0, r=Mark-Simulacrum

Update RELEASES.md for 1.51.0

### [Rendered](https://github.com/rust-lang/rust/blob/relnotes-1.51.0/RELEASES.md)

r? `@Mark-Simulacrum`
cc `@rust-lang/release`

3 years agoRollup merge of #80705 - tspiteri:italic-and-update-SourceCodePro, r=GuillaumeGomez
Yuki Okushi [Tue, 23 Mar 2021 01:15:38 +0000 (10:15 +0900)]
Rollup merge of #80705 - tspiteri:italic-and-update-SourceCodePro, r=GuillaumeGomez

Update Source Code Pro and include italics

Fixes #65502.

#65665, a similar PR to this was merged but reverted because of https://github.com/rust-lang/rust/pull/65665#issuecomment-556860510.

The issue in that comment is the upstream issue https://github.com/adobe-fonts/source-code-pro/issues/217 which should now be fixed in the upstream since [2.032R-ro/1.052R-it/1.012R-VAR release](https://github.com/adobe-fonts/source-code-pro/releases/tag/2.032R-ro/1.052R-it/1.012R-VAR), so I think this can now be merged.

A couple of notes from the original PR:
* Since this PR changes the font set, I think docs.rs would have to be updated if this PR is merged.
* The fonts have a double extension (.ttf.woff); this is to keep the names consistent with the upstream font release which does that to distinguish these from the .otf.woff files (Source Code Pro otf renders poorly on older Windows system apps).

3 years agoonly run RemoveZsts at mir-opt-level 3 and above
Erik Desjardins [Mon, 22 Mar 2021 22:30:56 +0000 (18:30 -0400)]
only run RemoveZsts at mir-opt-level 3 and above

3 years agoAdd GUI test to enforce tooltip position
Guillaume Gomez [Mon, 22 Mar 2021 21:17:43 +0000 (22:17 +0100)]
Add GUI test to enforce tooltip position

3 years agoFix codeblock tooltip position
Guillaume Gomez [Mon, 22 Mar 2021 21:17:21 +0000 (22:17 +0100)]
Fix codeblock tooltip position

3 years agoAllow not emitting `uwtable` on Android
hyd-dev [Mon, 22 Mar 2021 18:38:30 +0000 (02:38 +0800)]
Allow not emitting `uwtable` on Android

3 years agoErr if the debugging options are not passed.
Camille GILLOT [Mon, 22 Mar 2021 18:21:55 +0000 (19:21 +0100)]
Err if the debugging options are not passed.

3 years agoAuto merge of #6950 - Sciencentistguy:master, r=phansch
bors [Mon, 22 Mar 2021 20:29:13 +0000 (20:29 +0000)]
Auto merge of #6950 - Sciencentistguy:master, r=phansch

Ignore str::len() in or_fun_call lint.

changelog: Changed `or_fun_call` to ignore `str::len`, in the same way it ignores `slice::len` and `array::len`

Closes #6943

3 years agoFix asm! from AT&T to Intel syntax
Josh Stone [Mon, 22 Mar 2021 20:12:53 +0000 (13:12 -0700)]
Fix asm! from AT&T to Intel syntax

3 years agoChange `-W help` to display edition level.
Eric Huss [Mon, 22 Mar 2021 19:57:52 +0000 (12:57 -0700)]
Change `-W help` to display edition level.

3 years agoAuto merge of #79278 - mark-i-m:stabilize-or-pattern, r=nikomatsakis
bors [Mon, 22 Mar 2021 19:48:27 +0000 (19:48 +0000)]
Auto merge of #79278 - mark-i-m:stabilize-or-pattern, r=nikomatsakis

Stabilize or_patterns (RFC 2535, 2530, 2175)

closes #54883

This PR stabilizes the or_patterns feature in Rust 1.53.

This is blocked on the following (in order):
- [x] The crater run in https://github.com/rust-lang/rust/pull/78935#issuecomment-731564021
- [x] The resolution of the unresolved questions and a second crater run (https://github.com/rust-lang/rust/pull/78935#issuecomment-735412705)
    - It looks like we will need to pursue some sort of edition-based transition for `:pat`.
- [x] Nomination and discussion by T-lang
- [x] Implement new behavior for `:pat` based on consensus (https://github.com/rust-lang/rust/pull/80100).
- [ ] An FCP on stabilization

EDIT: Stabilization report is in https://github.com/rust-lang/rust/pull/79278#issuecomment-772815177

3 years agoAuto merge of #79278 - mark-i-m:stabilize-or-pattern, r=nikomatsakis
bors [Mon, 22 Mar 2021 19:48:27 +0000 (19:48 +0000)]
Auto merge of #79278 - mark-i-m:stabilize-or-pattern, r=nikomatsakis

Stabilize or_patterns (RFC 2535, 2530, 2175)

closes #54883

This PR stabilizes the or_patterns feature in Rust 1.53.

This is blocked on the following (in order):
- [x] The crater run in https://github.com/rust-lang/rust/pull/78935#issuecomment-731564021
- [x] The resolution of the unresolved questions and a second crater run (https://github.com/rust-lang/rust/pull/78935#issuecomment-735412705)
    - It looks like we will need to pursue some sort of edition-based transition for `:pat`.
- [x] Nomination and discussion by T-lang
- [x] Implement new behavior for `:pat` based on consensus (https://github.com/rust-lang/rust/pull/80100).
- [ ] An FCP on stabilization

EDIT: Stabilization report is in https://github.com/rust-lang/rust/pull/79278#issuecomment-772815177

3 years agoAll supported LLVM versions have MSP430AsmPrinter
Josh Stone [Mon, 22 Mar 2021 19:44:48 +0000 (12:44 -0700)]
All supported LLVM versions have MSP430AsmPrinter

3 years agomissing newline at eof
Nelson J Morais [Mon, 22 Mar 2021 19:42:05 +0000 (19:42 +0000)]
missing newline at eof

3 years agoAuto merge of #6896 - TaKO8Ki:refactor-lints-in-methods-module, r=phansch
bors [Mon, 22 Mar 2021 19:36:22 +0000 (19:36 +0000)]
Auto merge of #6896 - TaKO8Ki:refactor-lints-in-methods-module, r=phansch

Refactor lints in methods module

This PR refactors methods lints other than the lints I refactored in https://github.com/rust-lang/rust-clippy/pull/6826 and moves some functions to methods/utils.rs.
Basically, I follow the instruction described in #6680.

**For ease of review, I refactored step by step, keeping each commit small.**

closes https://github.com/rust-lang/rust-clippy/issues/6886
cc: `@phansch,` `@flip1995,` `@Y-Nak`

changelog: Move lints in methods module to their own modules and some function to methods/utils.rs.

3 years agoIgnore str::len() in or_fun_call lint.
Jamie Quigley [Mon, 22 Mar 2021 19:34:20 +0000 (19:34 +0000)]
Ignore str::len() in or_fun_call lint.

3 years agoadd key rustc_private for package metadata for rust-analyzer in librustdoc
Nelson J Morais [Mon, 22 Mar 2021 19:31:42 +0000 (19:31 +0000)]
add key rustc_private for package metadata for rust-analyzer in librustdoc

3 years agocleanup: add some comments per review feedback
Augie Fackler [Mon, 22 Mar 2021 18:37:49 +0000 (14:37 -0400)]
cleanup: add some comments per review feedback

3 years agoUpdate the minimum external LLVM to 10
Josh Stone [Mon, 22 Mar 2021 18:33:43 +0000 (11:33 -0700)]
Update the minimum external LLVM to 10

3 years ago:arrow_up: rust-analyzer
Laurențiu Nicola [Mon, 22 Mar 2021 18:30:36 +0000 (20:30 +0200)]
:arrow_up: rust-analyzer

3 years agoOnly enable assert_dep_graph when query-dep-graph is enabled.
Camille GILLOT [Sat, 20 Mar 2021 01:14:04 +0000 (02:14 +0100)]
Only enable assert_dep_graph when query-dep-graph is enabled.

3 years agorename :pat2018 -> :pat215
mark [Mon, 22 Mar 2021 17:40:23 +0000 (12:40 -0500)]
rename :pat2018 -> :pat215

3 years agoAdd `debug-refcell` feature to libcore
Aaron Hill [Thu, 18 Feb 2021 02:30:39 +0000 (21:30 -0500)]
Add `debug-refcell` feature to libcore

See https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Attaching.20backtraces.20to.20RefCell/near/226273614
for some background discussion

This PR adds a new off-by-default feature `debug-refcell` to libcore.
When enabled, this feature stores additional debugging information in
`RefCell`. This information is included in the panic message when
`borrow()` or `borrow_mut()` panics, to make it easier to track down the
source of the issue.

Currently, we store the caller location for the earliest active borrow.
This has a number of advantages:
* There is only a constant amount of overhead per `RefCell`
* We don't need any heap memory, so it can easily be implemented in core
* Since we are storing the *earliest* active borrow, we don't need any
  extra logic in the `Drop` implementation for `Ref` and `RefMut`

Limitations:
* We only store the caller location, not a full `Backtrace`. Until
  we get support for `Backtrace` in libcore, this is the best tha we can
do.
* The captured location is only displayed when `borrow()` or
  `borrow_mut()` panics. If a crate calls `try_borrow().unwrap()`
  or `try_borrow_mut().unwrap()`, this extra information will be lost.

To make testing easier, I've enabled the `debug-refcell` feature by
default. I'm not sure how to write a test for this feature - we would
need to rebuild core from the test framework, and create a separate
sysroot.

Since this feature will be off-by-default, users will need to use
`xargo` or `cargo -Z build-std` to enable this feature. For users using
a prebuilt standard library, this feature will be disabled with zero
overhead.

I've created a simple test program:

```rust
use std::cell::RefCell;

fn main() {
    let _ = std::panic::catch_unwind(|| {
        let val = RefCell::new(true);
        let _first = val.borrow();
        let _second = val.borrow();
        let _third = val.borrow_mut();
    });

    let _ = std::panic::catch_unwind(|| {
        let val  = RefCell::new(true);
        let first = val.borrow_mut();
        drop(first);

        let _second = val.borrow_mut();

        let _thid = val.borrow();
    });
}
```

which produces the following output:

```
thread 'main' panicked at 'already borrowed: BorrowMutError { location: Location { file: "refcell_test.rs", line: 6, col: 26 } }', refcell_test.rs:8:26
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'already mutably borrowed: BorrowError { location: Location { file: "refcell_test.rs", line: 16, col: 27 } }', refcell_test.rs:18:25
```

3 years agoAuto merge of #83376 - Dylan-DPC:rollup-s2fsjwj, r=Dylan-DPC
bors [Mon, 22 Mar 2021 15:07:23 +0000 (15:07 +0000)]
Auto merge of #83376 - Dylan-DPC:rollup-s2fsjwj, r=Dylan-DPC

Rollup of 7 pull requests

Successful merges:

 - #82374 (Add license metadata for std dependencies)
 - #82683 (Document panicking cases for integer division and remainder)
 - #83272 (Clarify non-exact length in the Iterator::take documentation)
 - #83338 (Fix test for #82270)
 - #83351 (post-drop-elab check-const: explain why we still check qualifs)
 - #83367 (Improve error message for unassigned query provider)
 - #83372 (SplitInclusive is public API)

Failed merges:

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

3 years agoRollup merge of #83372 - eggyal:split-inclusive, r=Mark-Simulacrum
Dylan DPC [Mon, 22 Mar 2021 14:21:31 +0000 (15:21 +0100)]
Rollup merge of #83372 - eggyal:split-inclusive, r=Mark-Simulacrum

SplitInclusive is public API

3 years agoRollup merge of #83367 - richkadel:query-err-msg, r=jyn514
Dylan DPC [Mon, 22 Mar 2021 14:21:30 +0000 (15:21 +0100)]
Rollup merge of #83367 - richkadel:query-err-msg, r=jyn514

Improve error message for unassigned query provider

Fixes: #83122
r? `@jyn514`

This implements the change we agreed on. Thanks!

3 years agoRollup merge of #83351 - RalfJung:precise-const-drop, r=oli-obk
Dylan DPC [Mon, 22 Mar 2021 14:21:29 +0000 (15:21 +0100)]
Rollup merge of #83351 - RalfJung:precise-const-drop, r=oli-obk

post-drop-elab check-const: explain why we still check qualifs

r? `@oli-obk`

3 years agoRollup merge of #83338 - asquared31415:asm-syntax-test-fix, r=Dylan-DPC
Dylan DPC [Mon, 22 Mar 2021 14:21:27 +0000 (15:21 +0100)]
Rollup merge of #83338 - asquared31415:asm-syntax-test-fix, r=Dylan-DPC

Fix test for #82270

Fixes a test in #82270 to require the arm llvm component

3 years agoRollup merge of #83272 - kornelski:takedocs, r=dtolnay
Dylan DPC [Mon, 22 Mar 2021 14:21:26 +0000 (15:21 +0100)]
Rollup merge of #83272 - kornelski:takedocs, r=dtolnay

Clarify non-exact length in the Iterator::take documentation

There's an example which demonstrates incomplete length case, but it'd be best to explain it right from the start.

3 years agoRollup merge of #82683 - jturner314:int-div-rem-doc-panic, r=nikomatsakis
Dylan DPC [Mon, 22 Mar 2021 14:21:24 +0000 (15:21 +0100)]
Rollup merge of #82683 - jturner314:int-div-rem-doc-panic, r=nikomatsakis

Document panicking cases for integer division and remainder

This PR documents the cases when integer division and remainder operations panic. These operations panic in two cases: division by zero and overflow.

It's surprising that these operations always panic on overflow, unlike most other arithmetic operations, which panic on overflow only when `debug_assertions` is enabled. The panic on overflow for the remainder is also surprising because a return value of `0` would be reasonable in this case. ("Overflow" occurs only for `MIN % -1`.) Since the panics on overflow are somewhat surprising, they should be documented.

I guess it's worth asking: is panic on overflow (even when `debug_assertions` is disabled) the intended behavior? If not, what's the best way forward?

3 years agoRollup merge of #82374 - clehner:licenses, r=joshtriplett
Dylan DPC [Mon, 22 Mar 2021 14:21:23 +0000 (15:21 +0100)]
Rollup merge of #82374 - clehner:licenses, r=joshtriplett

Add license metadata for std dependencies

These five crates are in the dependency tree of `std` but lack license metadata:
- `alloc`
- `core`
- `panic_abort`
- `panic_unwind`
- `unwind`

Querying the dependency tree of `std` is a useful thing to be able to do, since these crates will typically be linked into Rust binaries. Tools show the license fields missing, as seen in https://github.com/rust-lang/rust/issues/67014#issuecomment-782704534. This PR adds the license field for the five crates, based on the license of the `std` package and this repo as a whole. I also added the `repository` and `descriptions` fields, since those seem useful. For `description`, I copied text from top-level comments for the respective modules - except for `unwind` which has none.

I also note that https://github.com/rust-lang/rust/pull/73530 attempted to add license metadata for all crates in this repo, but was rejected because there was question about some of them. I hope that this smaller change, focusing only on the runtime dependencies, will be easier to review.

cc `@Mark-Simulacrum` `@Lokathor`

3 years agoAuto merge of #6942 - mgacek8:issue_6815_search_is_none, r=llogiq
bors [Mon, 22 Mar 2021 12:58:47 +0000 (12:58 +0000)]
Auto merge of #6942 - mgacek8:issue_6815_search_is_none, r=llogiq

search_is_some: add checking for `is_none()`

fixes: #6815
changelog: search_is_some: add checking for `is_none()`.

To be honest I don't know what is the process of renaming the lints. Appreciate any feedback if that needs to be handled differently. Thanks!

3 years agoAuto merge of #83273 - cjgillot:endecode, r=michaelwoerister
bors [Mon, 22 Mar 2021 12:18:57 +0000 (12:18 +0000)]
Auto merge of #83273 - cjgillot:endecode, r=michaelwoerister

Simplify encoder and decoder

Extracted from https://github.com/rust-lang/rust/pull/83036 and https://github.com/rust-lang/rust/pull/82780.

3 years agoAuto merge of #82680 - jturner314:div_euclid-docs, r=JohnTitor
bors [Mon, 22 Mar 2021 09:37:50 +0000 (09:37 +0000)]
Auto merge of #82680 - jturner314:div_euclid-docs, r=JohnTitor

Fix inequality in docs for div_euclid

This commit fixes the statement of the inequality that the Euclidean remainder satisfies. (The remainder is guaranteed to be less than abs(rhs), not rhs.) It also rewords the documentation to make it a little easier to read.

(You might wonder why I've written `abs(rhs)` instead of `rhs.abs()`. Two reasons: first, the `rem_euclid` docs use `abs(rhs)` instead of `rhs.abs()`, and second, the absolute value here is the mathematical absolute value, not the the `.abs()` operation which may overflow.)

3 years agoSplitInclusive is public API
Alan Egerton [Mon, 22 Mar 2021 09:07:52 +0000 (09:07 +0000)]
SplitInclusive is public API

3 years agoAuto merge of #82855 - jyn514:no-temporaries, r=GuillaumeGomez
bors [Mon, 22 Mar 2021 06:45:33 +0000 (06:45 +0000)]
Auto merge of #82855 - jyn514:no-temporaries, r=GuillaumeGomez

Avoid temporary allocations in `render_assoc_item`

`render_assoc_item` came up as very hot in a profile of rustdoc on
`bevy`.  This avoids some temporary allocations just to calculate the
length of the header.

This should be a strict improvement, since all string formatting was
done twice before.

cc #82845

3 years agoImprove error message for unassigned query provider
Rich Kadel [Mon, 22 Mar 2021 06:04:07 +0000 (23:04 -0700)]
Improve error message for unassigned query provider

Fixes: 83122
3 years ago2229 migration: Don't try resolve regions before writeback
Aman Arora [Mon, 22 Mar 2021 04:45:38 +0000 (00:45 -0400)]
2229 migration: Don't try resolve regions before writeback

In the analysis use `resolve_vars_if_possible` instead of `fully_resolve`,
because we might not have performed regionck yet.

Fixes: #83176
3 years agoAuto merge of #83360 - Dylan-DPC:rollup-17xulpv, r=Dylan-DPC
bors [Mon, 22 Mar 2021 04:03:53 +0000 (04:03 +0000)]
Auto merge of #83360 - Dylan-DPC:rollup-17xulpv, r=Dylan-DPC

Rollup of 9 pull requests

Successful merges:

 - #80193 (stabilize `feature(osstring_ascii)`)
 - #80771 (Make NonNull::as_ref (and friends) return refs with unbound lifetimes)
 - #81607 (Implement TrustedLen and TrustedRandomAccess for Range<integer>, array::IntoIter, VecDequeue's iterators)
 - #82554 (Fix invalid slice access in String::retain)
 - #82686 (Move `std::sys::unix::platform` to `std::sys::unix::ext`)
 - #82771 (slice: Stabilize IterMut::as_slice.)
 - #83329 (Cleanup LLVM debuginfo module docs)
 - #83336 (Fix ICE with `use clippy::a::b;`)
 - #83350 (Download a more recent LLVM version if `src/version` is modified)

Failed merges:

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

3 years agoUpdate tests
Camelid [Mon, 22 Mar 2021 02:48:51 +0000 (19:48 -0700)]
Update tests

These tests were added to master after I made my changes.

3 years agoRemove redundant docs
Camelid [Sat, 20 Mar 2021 21:51:14 +0000 (14:51 -0700)]
Remove redundant docs

...and add docs to the types instead of the fields that hold the types.

3 years agoBump rustdoc-json format version
Camelid [Sat, 20 Mar 2021 21:43:30 +0000 (14:43 -0700)]
Bump rustdoc-json format version

The rustdoc-json-types renames are breaking changes.

3 years agorustdoc-json: Rename `Import.span` to `Import.source`
Camelid [Wed, 10 Mar 2021 05:51:32 +0000 (21:51 -0800)]
rustdoc-json: Rename `Import.span` to `Import.source`

* It is called `source` in rustc and the rest of rustdoc
* It is not a span, rather it is the source of the import

3 years agoRename `rustdoc_json_types::Item.source` to `span`
Camelid [Wed, 10 Mar 2021 05:25:54 +0000 (21:25 -0800)]
Rename `rustdoc_json_types::Item.source` to `span`

3 years agoRename `clean::Span::span()` to `clean::Span::inner()`
Camelid [Wed, 10 Mar 2021 05:58:26 +0000 (21:58 -0800)]
Rename `clean::Span::span()` to `clean::Span::inner()`

Otherwise you get a lot of instances of `item.span.span()`, which is
just plain confusing. `item.span.inner()` conveys the correct meaning of
"get the type that `clean::Span` wraps".

3 years agoRename `clean::Item.source` to `span`
Camelid [Wed, 10 Mar 2021 05:23:29 +0000 (21:23 -0800)]
Rename `clean::Item.source` to `span`

Its type is called `clean::Span`, and also the name in the rest of
rustdoc and rustc for this kind of field is `span`.

3 years agoRollup merge of #83350 - jyn514:llvm-version, r=Mark-Simulacrum
Dylan DPC [Mon, 22 Mar 2021 01:20:33 +0000 (02:20 +0100)]
Rollup merge of #83350 - jyn514:llvm-version, r=Mark-Simulacrum

Download a more recent LLVM version if `src/version` is modified

When bumping the bootstrap version, the name of the generated LLVM
shared object file is changed, even though it's the same contents as
before. If bootstrap tries to use an older version, it will get linking
errors:

```
Building rustdoc for stage1 (x86_64-unknown-linux-gnu)
   Compiling rustdoc-tool v0.0.0 (/home/joshua/rustc/src/tools/rustdoc)
error: linking with `cc` failed: exit code: 1
  |
  = note: "cc" "-Wl,--as-needed" ... lots of args ...
  = note: /usr/bin/ld: cannot find -lLLVM-12-rust-1.53.0-nightly
          clang: error: linker command failed with exit code 1 (use -v to see invocation)

error: could not compile `rustdoc-tool`
```

Helps with https://github.com/rust-lang/rust/issues/81930.

3 years agoRollup merge of #83336 - camelid:tool-mod-ice, r=petrochenkov
Dylan DPC [Mon, 22 Mar 2021 01:20:32 +0000 (02:20 +0100)]
Rollup merge of #83336 - camelid:tool-mod-ice, r=petrochenkov

Fix ICE with `use clippy::a::b;`

Fixes #83317.

3 years agoRollup merge of #83329 - camelid:debuginfo-doc-cleanup, r=davidtwco
Dylan DPC [Mon, 22 Mar 2021 01:20:31 +0000 (02:20 +0100)]
Rollup merge of #83329 - camelid:debuginfo-doc-cleanup, r=davidtwco

Cleanup LLVM debuginfo module docs

- Move debuginfo docs from `doc.rs` module to `doc.md` file
- Cleanup LLVM debuginfo module docs

3 years agoRollup merge of #82771 - emilio:iter-mut-as-slice, r=m-ou-se
Dylan DPC [Mon, 22 Mar 2021 01:20:30 +0000 (02:20 +0100)]
Rollup merge of #82771 - emilio:iter-mut-as-slice, r=m-ou-se

slice: Stabilize IterMut::as_slice.

Much like #72584.

As per #58957 there's no blocker for this, and I wanted to use this
today :-)

Closes #58957

3 years agoRollup merge of #82686 - CDirkx:unix-platform, r=m-ou-se
Dylan DPC [Mon, 22 Mar 2021 01:20:28 +0000 (02:20 +0100)]
Rollup merge of #82686 - CDirkx:unix-platform, r=m-ou-se

Move `std::sys::unix::platform` to `std::sys::unix::ext`

This moves the operating system dependent alias `platform` (`std::os::{linux, android, ...}`) from `std::sys::unix` to `std::sys::unix::ext` (a.k.a. `std::os::unix`), removing the need for compatibility code in `unix_ext` when documenting on another platform.

This is also a step in making it possible to properly move `std::sys::unix::ext` to `std::os::unix`, as ideally `std::sys` should not depend on the rest of `std`.

3 years agoRollup merge of #82554 - SkiFire13:fix-string-retain-unsoundness, r=m-ou-se
Dylan DPC [Mon, 22 Mar 2021 01:20:27 +0000 (02:20 +0100)]
Rollup merge of #82554 - SkiFire13:fix-string-retain-unsoundness, r=m-ou-se

Fix invalid slice access in String::retain

As noted in #78499, the previous fix was technically still unsound because it accessed elements of a slice outside its bounds (even though they were still inside the same allocation). This PR addresses that concern by switching to a dropguard approach.

3 years agoRollup merge of #81607 - the8472:trustedrandomaccess-all-the-things, r=m-ou-se
Dylan DPC [Mon, 22 Mar 2021 01:20:26 +0000 (02:20 +0100)]
Rollup merge of #81607 - the8472:trustedrandomaccess-all-the-things, r=m-ou-se

Implement TrustedLen and TrustedRandomAccess for Range<integer>, array::IntoIter, VecDequeue's iterators

This should make some `FromIterator` and `.zip()` specializations applicable in a few more cases.

``@rustbot`` label libs-impl

3 years agoRollup merge of #80771 - thomcc:nonnull-refmut, r=dtolnay
Dylan DPC [Mon, 22 Mar 2021 01:20:24 +0000 (02:20 +0100)]
Rollup merge of #80771 - thomcc:nonnull-refmut, r=dtolnay

Make NonNull::as_ref (and friends) return refs with unbound lifetimes

# Rationale:

1. The documentation for all of these functions claims that this is what the functions already do, as they all come with this comment:

    > You must enforce Rust's aliasing rules, *since the returned lifetime 'a is arbitrarily chosen* and does not necessarily reflect the actual lifetime of the data...

    So I think it's just a bug that they weren't this way already. Note that had it not been for this part, I wouldn't be making this PR, so if we decide we won't take this change, I'll follow it up with a docs PR to fix this.

2. This is how the equivalent raw pointer functions behave.

    They also take `self` and not `&self`/`&mut self`, but that can't be changed compatibly at this point. This is the next best thing.

3. Without this fix, often code that uses these methods will find it has to expand the lifetime of the result.

    (I can't speak for others but even in unsafe-heavy code, needing to do this unexpectedly is a huge red flag -- if Rust thinks something should have a specific lifetime, I assume it's for a reason)

### Can this cause existing code to be unsound?

I'm confident this can't cause new unsoundness since the reference exists for at most its lifetime, but you get a borrow checker error if you do something that would require/allow the reference to exist past its lifetime.

Additionally, the aliasing rules of a reference only applies while the reference exists.

This *must* be the case, as it is required by the rules used by safe code. (That said, the documentation in this file sort of contradicts it, but I think it's just ambiguity between the lifetime `'a` in `&'a T` and lifetime of the `&'a T` reference itself...)

We are increasing the lifetime of these references, but they should already have hard bounds on that lifetime, or they'd have borrow checker errors.

(CC ``@RalfJung`` because I have gone and done the mistake where I say something definitive about aliasing in Rust which is honestly outside the group of things I should make definitive comments about).

# Caveats

1. This is insta-stable (except for on the unstable functions ofc). I don't think there's any other alternative.

2. I don't believe this is a breaking change in practice. In theory someone could be assigning `NonNull::as_ref` to a function pointer of type `fn(&NonNull<T>) -> &T`. Now they'd need to use a slightly different function pointer type which is (probably) incompatible. This seems pathological, but I guess crater could be used if there are concerns.

3. This has no tests. The old version didn't either that I saw. I could add some stuff that fails to compile without it, if that would be useful.

4. Sometimes the NLL borrow checker gives up and decides lifetimes live till the end of the scope, as opposed to the range where they're used. If this change can cause this to happen more, then my soundness rationale is wrong, and it's likely breaking.

    In practice this seems super unlikely.

Anyway. That was a lot of typing.

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

3 years agoRollup merge of #80193 - zseri:stabilize-osstring-ascii, r=m-ou-se
Dylan DPC [Mon, 22 Mar 2021 01:20:23 +0000 (02:20 +0100)]
Rollup merge of #80193 - zseri:stabilize-osstring-ascii, r=m-ou-se

stabilize `feature(osstring_ascii)`

This PR stabilizes `feature(osstring_ascii)`.

Fixes #70516.

3 years agoAuto merge of #79846 - the8472:inplace-tra, r=m-ou-se
bors [Mon, 22 Mar 2021 01:16:29 +0000 (01:16 +0000)]
Auto merge of #79846 - the8472:inplace-tra, r=m-ou-se

Use TrustedRandomAccess for in-place iterators where possible

This can speed up in-place iterators containing simple casts and transmutes from `Copy` types to any type of same size. `!Copy` types can't be optimized since `TrustedRandomAccess`  isn't implemented for those iterators.

```
 name                  on.b ns/iter     o1.b ns/iter     diff ns/iter   diff %  speedup
 vec::bench_transmute  20 (40000 MB/s)  12 (66666 MB/s)            -8  -40.00%   x 1.67
```

3 years agodisable debug assertions in codegen test
The8472 [Sun, 21 Mar 2021 22:05:28 +0000 (23:05 +0100)]
disable debug assertions in codegen test

3 years agoBump slice_iter_mut_as_slice stable version.
Mara Bos [Sun, 21 Mar 2021 22:01:28 +0000 (23:01 +0100)]
Bump slice_iter_mut_as_slice stable version.

3 years agoAuto merge of #82834 - nikic:mutable-noalias, r=nagisa
bors [Sun, 21 Mar 2021 21:54:09 +0000 (21:54 +0000)]
Auto merge of #82834 - nikic:mutable-noalias, r=nagisa

Enable mutable noalias for LLVM >= 12

Enable mutable noalias by default on LLVM 12, as previously known miscompiles have been resolved. Now it's time to find the next one ;)

 * The `-Z mutable-noalias` option no longer has an explicit default and accepts `-Z mutable-noalias=yes` and `-Z mutable-noalias=no` to override the LLVM version based default behavior.
 * The decision on whether to apply the noalias attribute is moved into rustc_codegen_llvm. rustc_middle only provides us with the necessary information to make the decision.
 * `noalias` is not emitted for types that are `!Unpin`, as a heuristic for self-referential structures (see #54878 and #63818).

3 years agorustdoc: Replace pair of `Option`s with an enum
Camelid [Sun, 21 Mar 2021 21:40:08 +0000 (14:40 -0700)]
rustdoc: Replace pair of `Option`s with an enum

They are never both `None` or both `Some`, so it makes more sense to use
an enum so that we "make impossible states impossible".

3 years agoFix ICE with `use clippy::a::b;`
Camelid [Sun, 21 Mar 2021 03:00:25 +0000 (20:00 -0700)]
Fix ICE with `use clippy::a::b;`

3 years agoFix typos
Mara Bos [Sun, 21 Mar 2021 20:44:25 +0000 (21:44 +0100)]
Fix typos

Co-authored-by: the8472 <the8472@users.noreply.github.com>
3 years agosearch_is_some: check also when search is none
Mateusz Gacek [Sat, 20 Mar 2021 13:30:45 +0000 (14:30 +0100)]
search_is_some: check also when search is none

3 years agopost-drop-elab check-const: explain why we still check qualifs
Ralf Jung [Sun, 21 Mar 2021 17:09:53 +0000 (18:09 +0100)]
post-drop-elab check-const: explain why we still check qualifs

3 years agoUpdate doc/reference submodule
Nikita Popov [Sun, 21 Mar 2021 19:13:08 +0000 (20:13 +0100)]
Update doc/reference submodule

In particular this pulls in an update to the auto-deref
recursion_limit example, to no longer rely on the Freeze query.

3 years agoDon't compute optimized PointerKind for unoptimized builds
Nikita Popov [Fri, 19 Mar 2021 21:49:51 +0000 (22:49 +0100)]
Don't compute optimized PointerKind for unoptimized builds

This saves us both the Freeze/Unpin queries, and avoids placing
noalias attributes, which have a compile-time impact on LLVM
even in optnone builds (due to always_inline functions).

3 years agoadd codegen test
The8472 [Wed, 9 Dec 2020 00:08:11 +0000 (01:08 +0100)]
add codegen test

3 years agospecialize in-place collection further via TrustedRandomAccess
The8472 [Tue, 8 Dec 2020 22:21:27 +0000 (23:21 +0100)]
specialize in-place collection further via TrustedRandomAccess

This allows the optimizer to turn certain iterator pipelines such as

```rust
let vec = vec![0usize; 100];
vec.into_iter().map(|e| e as isize).collect::<Vec<_>>()
```

into a noop.

The optimization only applies when iterator sources are  `T: Copy`
since `impl TrustedRandomAccess for IntoIter<T>`.
No such requirement applies to the output type (`Iterator::Item`).

3 years agoadd transmute-via-iterators bench
The8472 [Wed, 2 Dec 2020 21:15:53 +0000 (22:15 +0100)]
add transmute-via-iterators bench