]> git.lizzy.rs Git - rust.git/log
rust.git
4 years agoFix small typo in docs for std::mem::drop
alamb [Mon, 8 Jun 2020 10:04:34 +0000 (06:04 -0400)]
Fix small typo in docs for std::mem::drop

4 years agoRollup merge of #73092 - GuillaumeGomez:cleanup-e0646, r=Dylan-DPC
Ralf Jung [Mon, 8 Jun 2020 07:55:35 +0000 (09:55 +0200)]
Rollup merge of #73092 - GuillaumeGomez:cleanup-e0646, r=Dylan-DPC

Clean up E0646

r? @Dylan-DPC

4 years agoRollup merge of #73075 - jyn514:comment-module, r=Dylan-DPC
Ralf Jung [Mon, 8 Jun 2020 07:55:33 +0000 (09:55 +0200)]
Rollup merge of #73075 - jyn514:comment-module, r=Dylan-DPC

Add comments to `Resolve::get_module`

r? @Manishearth

4 years agoRollup merge of #73001 - ilya-bobyr:master, r=dtolnay
Ralf Jung [Mon, 8 Jun 2020 07:55:31 +0000 (09:55 +0200)]
Rollup merge of #73001 - ilya-bobyr:master, r=dtolnay

Free `default()` forwarding to `Default::default()`

It feels a bit redundant to have to say `Default::default()` every time I need a new value of a type that has a `Default` instance.
Especially so, compared to Haskell, where the same functionality is called `def`.
Providing a free `default()` function that forwards to `Default::default()` seems to improve the situation.
The trait is still there, so if someone wants to be explicit and to say `Default::default()` - it still works, but if imported as `std::default::default;`, then the free function reduces typing and visual noise.

4 years agoRollup merge of #72963 - poliorcetics:cstring-from-raw, r=dtolnay
Ralf Jung [Mon, 8 Jun 2020 07:55:30 +0000 (09:55 +0200)]
Rollup merge of #72963 - poliorcetics:cstring-from-raw, r=dtolnay

Cstring `from_raw` and `into_raw` safety precisions

Fixes #48525.
Fixes #68456.

This issue had two points:

- The one about `from_raw` has been addressed (I hope).
- The other one, about `into_raw`, has only been partially fixed.

About `into_raw`: the idea was to:

> steer users away from using the pattern of CString::{into_raw,from_raw} when interfacing with C APIs that may change the effective length of the string by writing interior NULs or erasing the final NUL

I tried making a `Vec<c_char>` like suggested but my current solution feels very unsafe and *hacky* to me (most notably the type cast), I included it here to make it available for discussion:

```rust
fn main() {
    use std::os::raw::c_char;

    let v = String::from("abc")
        .bytes()
        // From u8 to i8,
        // I feel like it will be a problem for values of u8 > 255
        .map(|c| c as c_char)
        .collect::<Vec<_>>();

    dbg!(v);
}
```

4 years agoRollup merge of #72811 - pickfire:liballoc-impl, r=Amanieu
Ralf Jung [Mon, 8 Jun 2020 07:55:28 +0000 (09:55 +0200)]
Rollup merge of #72811 - pickfire:liballoc-impl, r=Amanieu

Liballoc impl

Mainly code rearrangements

4 years agoRollup merge of #72799 - Aaron1011:feature/span-debug, r=petrochenkov
Ralf Jung [Mon, 8 Jun 2020 07:55:26 +0000 (09:55 +0200)]
Rollup merge of #72799 - Aaron1011:feature/span-debug, r=petrochenkov

Add `-Z span-debug` to allow for easier debugging of proc macros

Currently, the `Debug` impl for `proc_macro::Span` just prints out
the byte range. This can make debugging proc macros (either as a crate
author or as a compiler developer) very frustrating, since neither the
actual filename nor the `SyntaxContext` is displayed.

This commit adds a perma-unstable flag `-Z span-debug`. When enabled,
the `Debug` impl for `proc_macro::Span` simply forwards directly to
`rustc_span::Span`. Once #72618 is merged, this will start displaying
actual line numbers.

While `Debug` impls are not subject to Rust's normal stability
guarnatees, we probably shouldn't expose any additional information on
stable until `#![feature(proc_macro_span)]` is stabilized. Otherwise,
we would be providing a 'backdoor' way to access information that's
supposed be behind unstable APIs.

4 years agoRollup merge of #72761 - poliorcetics:use-keyword-doc, r=Dylan-DPC
Ralf Jung [Mon, 8 Jun 2020 07:55:24 +0000 (09:55 +0200)]
Rollup merge of #72761 - poliorcetics:use-keyword-doc, r=Dylan-DPC

Added the documentation for the 'use' keyword

This is a partial fix of #34601.

I heavily inspired myself from the Reference on the `use` keyword.

I checked the links when compiling the documentation, they should be ok.

I also added an example for the wildcard `*` in the case of types, because it's behaviour is not *import everything* like one might think at first.

4 years agoRollup merge of #72615 - jschwe:fix-Zprofile-documentation, r=steveklabnik
Ralf Jung [Mon, 8 Jun 2020 07:55:22 +0000 (09:55 +0200)]
Rollup merge of #72615 - jschwe:fix-Zprofile-documentation, r=steveklabnik

Fix documentation example for gcov profiling

closes #72546
Improves the documentation for the unstable Rustflag `-Zprofile` by:
- stating that Incremental compilation must be turned off.
- Adding the other `RUSTFLAGS` that should/need to be turned on (taken from [grcov documentation](https://github.com/mozilla/grcov#example-how-to-generate-gcda-files-for-a-rust-project))
- Mentioning `RUSTC_WRAPPER` to prevent everything getting instrumented.

r? @steveklabnik

4 years agoRollup merge of #72583 - CAD97:vec-iter-asref-slice, r=dtolnay
Ralf Jung [Mon, 8 Jun 2020 07:55:20 +0000 (09:55 +0200)]
Rollup merge of #72583 - CAD97:vec-iter-asref-slice, r=dtolnay

impl AsRef<[T]> for vec::IntoIter<T>

Adds `impl<T> AsRef<[T]> for vec::IntoIter<T>`. This mirrors the same trait impl for [`slice::Iter`](https://doc.rust-lang.org/nightly/std/slice/struct.Iter.html). Both types already offer `fn as_slice(&self) -> &[T]`, this just adds the trait impl for `vec::IntoIter`.

If/when `fn as_slice(&self) -> &[T]` stabilizes for `vec::Drain` and `slice::IterMut`, they should get `AsRef<[T]>` impls as well. As thus, tangentially related to #58957.

My ultimate goal here: being able to use `for<T, I: Iterator<Item=T> + AsRef<[T]>> I` to refer to `vec::IntoIter`, `vec::Drain`, and eventually `array::IntoIter`, as an approximation of the set of by-value iterators that can be "previewed" as by-ref iterators. (Actually expressing that as a trait requires GAT.)

4 years agoRollup merge of #72026 - botika:master, r=estebank
Ralf Jung [Mon, 8 Jun 2020 07:55:18 +0000 (09:55 +0200)]
Rollup merge of #72026 - botika:master, r=estebank

Update annotate-snippets-rs to 0.8.0

#59346
I made major changes to this library. In the previous version we worked with owned while in the current one with borrowed.

I have adapted it without changing the behavior.
I have modified the coverage since the previous one did not return correctly the index of the character in the line.

4 years agoAuto merge of #73046 - marmeladema:save-analysis-fix-path, r=Xanewok
bors [Mon, 8 Jun 2020 03:54:52 +0000 (03:54 +0000)]
Auto merge of #73046 - marmeladema:save-analysis-fix-path, r=Xanewok

save_analysis: fix some ICEs

Fixes #73020
Fixes #73022
Fixes #73041

4 years agoAuto merge of #72904 - shepmaster:reduce-abi-symbol-hash-churn, r=jonas-schievink...
bors [Sun, 7 Jun 2020 21:42:27 +0000 (21:42 +0000)]
Auto merge of #72904 - shepmaster:reduce-abi-symbol-hash-churn, r=jonas-schievink,RalfJung

Order the Rust and C ABIs first to reduce test churn

4 years agoUse `LocalDefId` directly in `Resolver::export_map` and `module_exports` query
marmeladema [Sun, 7 Jun 2020 10:14:47 +0000 (11:14 +0100)]
Use `LocalDefId` directly in `Resolver::export_map` and `module_exports` query

This is to avoid the final conversion from `NodeId` to `HirId`
during call to `Resolver::(clone|into)_outputs`.

4 years agoFix rebase fallout
flip1995 [Sun, 7 Jun 2020 19:33:03 +0000 (21:33 +0200)]
Fix rebase fallout

4 years agoApply self-review by Centril
flip1995 [Sun, 7 Jun 2020 14:43:17 +0000 (16:43 +0200)]
Apply self-review by Centril

4 years agosplit unnested_or_patterns test
Mazdak Farrokhzad [Sat, 28 Mar 2020 12:08:57 +0000 (13:08 +0100)]
split unnested_or_patterns test

4 years agodogfood unnested_or_patterns
Mazdak Farrokhzad [Sat, 28 Mar 2020 10:45:13 +0000 (11:45 +0100)]
dogfood unnested_or_patterns

4 years agoRemove unnecessary lifetime parameter
Eduardo Broto [Sun, 7 Jun 2020 19:13:13 +0000 (21:13 +0200)]
Remove unnecessary lifetime parameter

4 years agoadd `unnested_or_patterns` lint
Mazdak Farrokhzad [Thu, 19 Mar 2020 13:14:52 +0000 (14:14 +0100)]
add `unnested_or_patterns` lint

4 years agoreversed_empty_ranges: don't lint N..N except in for loop arg
Eduardo Broto [Sun, 7 Jun 2020 18:38:28 +0000 (20:38 +0200)]
reversed_empty_ranges: don't lint N..N except in for loop arg

4 years agolet_and_return: do not lint if last statement borrows
Eduardo Broto [Sat, 6 Jun 2020 22:30:39 +0000 (00:30 +0200)]
let_and_return: do not lint if last statement borrows

4 years agoRename let_and_return test for consistency with the lint name
Eduardo Broto [Sat, 6 Jun 2020 19:51:41 +0000 (21:51 +0200)]
Rename let_and_return test for consistency with the lint name

4 years agoMake let_and_return a late lint pass
Eduardo Broto [Tue, 2 Jun 2020 23:13:57 +0000 (01:13 +0200)]
Make let_and_return a late lint pass

4 years agoAuto merge of #73099 - Dylan-DPC:rollup-7u8f3m4, r=Dylan-DPC
bors [Sun, 7 Jun 2020 17:55:19 +0000 (17:55 +0000)]
Auto merge of #73099 - Dylan-DPC:rollup-7u8f3m4, r=Dylan-DPC

Rollup of 2 pull requests

Successful merges:

 - #72952 (run-make regression test for issue #70924.)
 - #72977 (Fix codegen tests for RISC-V)

Failed merges:

r? @ghost

4 years agoRollup merge of #72977 - tblah:riscv-codegen-llvm10, r=nikomatsakis
Dylan DPC [Sun, 7 Jun 2020 16:11:29 +0000 (18:11 +0200)]
Rollup merge of #72977 - tblah:riscv-codegen-llvm10, r=nikomatsakis

Fix codegen tests for RISC-V

Some codegen tests didn't seem relevant (e.g. unsupported annotations).

The RISC-V abi tests were broken by LLVM 10, c872dcf fixes that (cc: @msizanoen1)

I'm not sure about skipping catch-unwind.rs and included that change here mostly as a request for comment - I can't tell if that's a bug.

4 years agoRollup merge of #72952 - pnkfelix:regression-test-for-issue-70924, r=nikomatsakis
Dylan DPC [Sun, 7 Jun 2020 16:11:27 +0000 (18:11 +0200)]
Rollup merge of #72952 - pnkfelix:regression-test-for-issue-70924, r=nikomatsakis

run-make regression test for issue #70924.

Sometime after my PR #72767 (to fix issue #70924) landed, I realized that I *could* make a local regression test, thanks to `rustc --print sysroot`: I can make a fresh "copy" (really mostly symlinks) of the sysroot, and then modify it to recreate the terms of this bug.

4 years agoAdd Item::is_fake for rustdoc
Joshua Nelson [Sun, 7 Jun 2020 16:01:20 +0000 (12:01 -0400)]
Add Item::is_fake for rustdoc

I wasn't aware items _could_ be fake, so I think having a function
mentioning it could be helpful. Also, I'd need to make this change for
cross-crate intra-doc links anyway, so I figured it's better to make the
refactor separate.

4 years agoAuto merge of #73093 - Dylan-DPC:rollup-9gh5tyu, r=Dylan-DPC
bors [Sun, 7 Jun 2020 14:14:34 +0000 (14:14 +0000)]
Auto merge of #73093 - Dylan-DPC:rollup-9gh5tyu, r=Dylan-DPC

Rollup of 5 pull requests

Successful merges:

 - #72764 (Be more careful around ty::Error in generators)
 - #72908 (rename FalseEdges -> FalseEdge)
 - #72970 (Properly handle feature-gated lints)
 - #72998 (Mention that some atomic operations may not be available on some platforms)
 - #73063 (Elide type on liballoc vec)

Failed merges:

r? @ghost

4 years agoRollup merge of #73063 - pickfire:liballoc-elide, r=kennytm
Dylan DPC [Sun, 7 Jun 2020 13:33:45 +0000 (15:33 +0200)]
Rollup merge of #73063 - pickfire:liballoc-elide, r=kennytm

Elide type on liballoc vec

4 years agoRollup merge of #72998 - poliorcetics:atomic-availability-doc, r=Amanieu
Dylan DPC [Sun, 7 Jun 2020 13:33:44 +0000 (15:33 +0200)]
Rollup merge of #72998 - poliorcetics:atomic-availability-doc, r=Amanieu

Mention that some atomic operations may not be available on some platforms

fixes #54250

This simply adds a line saying the type/function/method may not be available on some platforms, depending on said platform capabilities.

I *think* I got them all.

4 years agoRollup merge of #72970 - OddCoincidence:feature-gated-lints, r=petrochenkov
Dylan DPC [Sun, 7 Jun 2020 13:33:42 +0000 (15:33 +0200)]
Rollup merge of #72970 - OddCoincidence:feature-gated-lints, r=petrochenkov

Properly handle feature-gated lints

Closes #72694

4 years agoRollup merge of #72908 - RalfJung:false-edge, r=matthewjasper
Dylan DPC [Sun, 7 Jun 2020 13:33:39 +0000 (15:33 +0200)]
Rollup merge of #72908 - RalfJung:false-edge, r=matthewjasper

rename FalseEdges -> FalseEdge

There's just a single false edge in this terminator, not multiple of them.

r? @matthewjasper @jonas-schievink

4 years agoRollup merge of #72764 - jonas-schievink:mind-the-tyerr, r=estebank
Dylan DPC [Sun, 7 Jun 2020 13:33:32 +0000 (15:33 +0200)]
Rollup merge of #72764 - jonas-schievink:mind-the-tyerr, r=estebank

Be more careful around ty::Error in generators

cc https://github.com/rust-lang/rust/issues/72685

(doesn't close it because it's missing a reproduction to use as a test case)

r? @estebank

4 years agoClean up E0646
Guillaume Gomez [Sun, 7 Jun 2020 13:22:15 +0000 (15:22 +0200)]
Clean up E0646

4 years agoAdd tests for E0758
Guillaume Gomez [Tue, 2 Jun 2020 12:16:46 +0000 (14:16 +0200)]
Add tests for E0758

4 years agoCreate new error code E0758 for unterminated multi-line comments
Guillaume Gomez [Tue, 2 Jun 2020 12:13:03 +0000 (14:13 +0200)]
Create new error code E0758 for unterminated multi-line comments

4 years agoAuto merge of #5691 - flip1995:rustup, r=matthiaskrgr
bors [Sun, 7 Jun 2020 12:55:08 +0000 (12:55 +0000)]
Auto merge of #5691 - flip1995:rustup, r=matthiaskrgr

Rustup

changelog: none

4 years agoTemporarily disable RLS integration test
flip1995 [Sun, 7 Jun 2020 12:54:21 +0000 (14:54 +0200)]
Temporarily disable RLS integration test

4 years agoEnable LVI hardening for x86_64-fortanix-unknown-sgx
Jethro Beekman [Tue, 26 May 2020 20:53:30 +0000 (22:53 +0200)]
Enable LVI hardening for x86_64-fortanix-unknown-sgx

4 years agounstable book: default_free_fn
Ilya Bobyr [Fri, 5 Jun 2020 06:15:35 +0000 (23:15 -0700)]
unstable book: default_free_fn

4 years agoFree `default()` forwarding to `Default::default()`
Ilya Bobyr [Thu, 4 Jun 2020 03:36:53 +0000 (20:36 -0700)]
Free `default()` forwarding to `Default::default()`

When creating default values a trait method needs to be called with an
explicit trait name.  `Default::default()` seems redundant.  A free
function on the other hand, when imported directly, seems to be a better
API, as it is just `default()`.  When implementing the trait, a method
is still required.

4 years agorename FalseEdges -> FalseEdge
Ralf Jung [Tue, 2 Jun 2020 07:15:24 +0000 (09:15 +0200)]
rename FalseEdges -> FalseEdge

4 years agoAuto merge of #73072 - arcnmx:lld-noload, r=nikic
bors [Sun, 7 Jun 2020 05:58:49 +0000 (05:58 +0000)]
Auto merge of #73072 - arcnmx:lld-noload, r=nikic

Update LLVM submodule to include lld NOLOAD fix

> Rust nightly 2020-05-22 and later ships lld with a regression related to linker scripts: NOLOAD sections incorrectly generate sections filled with 0s. This causes gdb and other elf loaders to write to reserved or otherwise invalid addresses (gdb also seems confused by the resulting ELF files and spits out a warning about the sections). This is particularly a problem for embedded rust projects that use lld by default and have affected linker scripts (cortex-m-rt based projects for instance).

https://github.com/rust-lang/llvm-project/pull/64

Note that this also pulls in llvm changes from #72937

4 years agoOrder the Rust and C ABIs first to reduce test churn
Jake Goulding [Tue, 2 Jun 2020 02:20:12 +0000 (22:20 -0400)]
Order the Rust and C ABIs first to reduce test churn

4 years agoRustup to rust-lang/rust#71796
flip1995 [Sun, 7 Jun 2020 01:07:48 +0000 (03:07 +0200)]
Rustup to rust-lang/rust#71796

4 years agoAuto merge of #73081 - Dylan-DPC:rollup-1aqk215, r=Dylan-DPC
bors [Sun, 7 Jun 2020 00:34:54 +0000 (00:34 +0000)]
Auto merge of #73081 - Dylan-DPC:rollup-1aqk215, r=Dylan-DPC

Rollup of 5 pull requests

Successful merges:

 - #72810 (validate basic sanity for TerminatorKind)
 - #72989 (Revert pr 71840)
 - #72993 (Count the beta prerelease number just from master)
 - #73057 (Clean up E0644 explanation)
 - #73059 (remove outdated comment)

Failed merges:

r? @ghost

4 years agoRollup merge of #73059 - lcnr:outdated-comment, r=matthewjasper
Dylan DPC [Sun, 7 Jun 2020 00:29:02 +0000 (02:29 +0200)]
Rollup merge of #73059 - lcnr:outdated-comment, r=matthewjasper

remove outdated comment

r? @matthewjasper

4 years agoRollup merge of #73057 - GuillaumeGomez:cleanup-e0644, r=Dylan-DPC
Dylan DPC [Sun, 7 Jun 2020 00:29:00 +0000 (02:29 +0200)]
Rollup merge of #73057 - GuillaumeGomez:cleanup-e0644, r=Dylan-DPC

Clean up E0644 explanation

r? @Dylan-DPC

4 years agoRollup merge of #72993 - cuviper:beta-number, r=Mark-Simulacrum
Dylan DPC [Sun, 7 Jun 2020 00:28:58 +0000 (02:28 +0200)]
Rollup merge of #72993 - cuviper:beta-number, r=Mark-Simulacrum

Count the beta prerelease number just from master

We were computing a merge-base between the remote beta and master
branches, but this was giving incorrect answers for the first beta if
the remote hadn't been pushed yet. For instance, `1.45.0-beta.3359`
corresponds to the number of merges since the 1.44 beta, but we really
want just `.1` for the sole 1.45 beta promotion merge.

We don't really need to query the remote beta at all -- `master..HEAD`
suffices if we assume that we're on the intended beta branch already.

4 years agoRollup merge of #72989 - pnkfelix:revert-pr-71840, r=matthewjasper
Dylan DPC [Sun, 7 Jun 2020 00:28:56 +0000 (02:28 +0200)]
Rollup merge of #72989 - pnkfelix:revert-pr-71840, r=matthewjasper

Revert pr 71840

Revert7 PR #71840 to fix issue #72470

This will need a backport to beta if we do not want #72470 to hit stable.

4 years agoRollup merge of #72810 - RalfJung:mir-terminate-sanity, r=jonas-schievink
Dylan DPC [Sun, 7 Jun 2020 00:28:54 +0000 (02:28 +0200)]
Rollup merge of #72810 - RalfJung:mir-terminate-sanity, r=jonas-schievink

validate basic sanity for TerminatorKind

r? @jonas-schievink

This mainly checks that all `BasicBlock` actually exist. On top of that, it checks that `Call` actually calls something of `FnPtr`/`FnDef` type, and `Assert` has to work on a `bool`. Also `SwitchInt` cannot have an empty target list.

4 years agodoc/rustdoc: Fix incorrect external_doc feature flag
Sean Wilson [Sun, 7 Jun 2020 00:20:06 +0000 (17:20 -0700)]
doc/rustdoc: Fix incorrect external_doc feature flag

4 years agoMerge remote-tracking branch 'upstream/master' into rustup
flip1995 [Sun, 7 Jun 2020 00:17:49 +0000 (02:17 +0200)]
Merge remote-tracking branch 'upstream/master' into rustup

4 years agosave_analysis: fix panic in `write_sub_paths_truncated`
marmeladema [Fri, 5 Jun 2020 23:54:28 +0000 (00:54 +0100)]
save_analysis: fix panic in `write_sub_paths_truncated`

4 years agoAdd comments to `Resolve::get_module`
Joshua Nelson [Sat, 6 Jun 2020 21:09:31 +0000 (17:09 -0400)]
Add comments to `Resolve::get_module`

4 years agoOnly mention `u8` and not booleans
Poliorcetics [Sat, 6 Jun 2020 20:30:09 +0000 (22:30 +0200)]
Only mention `u8` and not booleans

Co-authored-by: Amanieu d'Antras <amanieu@gmail.com>
4 years agoAuto merge of #73073 - RalfJung:rollup-i24dh28, r=RalfJung
bors [Sat, 6 Jun 2020 19:58:27 +0000 (19:58 +0000)]
Auto merge of #73073 - RalfJung:rollup-i24dh28, r=RalfJung

Rollup of 3 pull requests

Successful merges:

 - #71796 (de-promote Duration::from_secs)
 - #72508 (Make `PolyTraitRef::self_ty` return `Binder<Ty>`)
 - #72708 (linker: Add a linker rerun hack for gcc versions not supporting -static-pie)

Failed merges:

r? @ghost

4 years agoRollup merge of #72708 - petrochenkov:linkhack, r=cuviper
Ralf Jung [Sat, 6 Jun 2020 19:57:39 +0000 (21:57 +0200)]
Rollup merge of #72708 - petrochenkov:linkhack, r=cuviper

linker: Add a linker rerun hack for gcc versions not supporting -static-pie

Which mirrors the existing `-no-pie` linker rerun hack, but the logic is a bit more elaborated in this case.

If the linker (gcc or clang) errors on `-static-pie` we rerun in with `-static` instead.
We must also replace CRT objects corresponding to `-static-pie` with ones corresponding to `-static` in this case.

(One sanity check for CRT objects in target specs is also added as a drive-by fix.)

To do in the future: refactor all linker rerun hacks into separate functions and share more code with `add_(pre,post)_link_objects`.

This PR accompanies https://github.com/rust-lang/rust/pull/71804 and unblocks https://github.com/rust-lang/rust/pull/70740.

4 years agoRollup merge of #72508 - ecstatic-morse:poly-self-ty, r=nikomatsakis
Ralf Jung [Sat, 6 Jun 2020 19:57:38 +0000 (21:57 +0200)]
Rollup merge of #72508 - ecstatic-morse:poly-self-ty, r=nikomatsakis

Make `PolyTraitRef::self_ty` return `Binder<Ty>`

This came up during review of #71618. The current implementation is the same as a call to `skip_binder` but harder to audit. Make it preserve binding levels and add a call to `skip_binder` at all use sites so they can be audited as part of #72507.

4 years agoRollup merge of #72508 - ecstatic-morse:poly-self-ty, r=nikomatsakis
Ralf Jung [Sat, 6 Jun 2020 19:57:38 +0000 (21:57 +0200)]
Rollup merge of #72508 - ecstatic-morse:poly-self-ty, r=nikomatsakis

Make `PolyTraitRef::self_ty` return `Binder<Ty>`

This came up during review of #71618. The current implementation is the same as a call to `skip_binder` but harder to audit. Make it preserve binding levels and add a call to `skip_binder` at all use sites so they can be audited as part of #72507.

4 years agoRollup merge of #71796 - RalfJung:from-secs, r=nikomatsakis
Ralf Jung [Sat, 6 Jun 2020 19:57:33 +0000 (21:57 +0200)]
Rollup merge of #71796 - RalfJung:from-secs, r=nikomatsakis

de-promote Duration::from_secs

In https://github.com/rust-lang/rust/pull/67531, we removed the `rustc_promotable` attribute from a bunch of `Duration` methods, but not from `Duration::from_secs`. This makes the current list of promotable functions the following (courtesy of @ecstatic-morse):

* `INT::min_value`, `INT::max_value`
* `std::mem::size_of`, `std::mem::align_of`
* `RangeInclusive::new` (backing `x..=y`)
* `std::ptr::null`, `std::ptr::null_mut`
* `RawWaker::new`, `RawWakerVTable::new` ???
* `Duration::from_secs`

I feel like the last one stands out a bit here -- the rest are all very core language primitives, and `RawWaker` has a strong motivation for getting a `'static` vtable. But a `&'static Duration`? That seems unlikely. So I propose we no longer promote calls to `Duration::from_secs`, which is what this PR does.

https://github.com/rust-lang/rust/pull/67531 saw zero regressions and I am not aware of anyone complaining that this broke their (non-cratered) code, so I consider it likely the same will be true here, but of course we'd do a crater run.

See [this document](https://github.com/rust-lang/const-eval/blob/master/promotion.md) for some more background on promotion and https://github.com/rust-lang/const-eval/issues/19 for some of the concerns around promoting function calls.

4 years agofixup! Add regression test for const generic ICE in #72819
Ayaz Hafiz [Sat, 6 Jun 2020 19:00:23 +0000 (12:00 -0700)]
fixup! Add regression test for const generic ICE in #72819

4 years agoAdd regression test for const generic ICE in #72819
Ayaz Hafiz [Sat, 6 Jun 2020 18:44:28 +0000 (11:44 -0700)]
Add regression test for const generic ICE in #72819

Closes #72819

4 years agoElide type on liballoc vec
Ivan Tham [Sat, 6 Jun 2020 15:07:02 +0000 (23:07 +0800)]
Elide type on liballoc vec

4 years agoremove outdated comment
Bastian Kauschke [Sat, 6 Jun 2020 13:54:07 +0000 (15:54 +0200)]
remove outdated comment

4 years agoClean up E0644 explanation
Guillaume Gomez [Sat, 6 Jun 2020 11:16:26 +0000 (13:16 +0200)]
Clean up E0644 explanation

4 years agoAuto merge of #5674 - ThibsG:DocTypeDefinesMethod, r=yaahc,phansch,flip1995
bors [Sat, 6 Jun 2020 10:32:02 +0000 (10:32 +0000)]
Auto merge of #5674 - ThibsG:DocTypeDefinesMethod, r=yaahc,phansch,flip1995

Add doc for checking if type defines specific method

This PR adds documentation on how:
- check if a type defines a specific method
- check an expr is calling a specific method

closes: #3843

changelog: none

4 years agoAuto merge of #5528 - phansch:same-tys, r=flip1995
bors [Sat, 6 Jun 2020 10:04:21 +0000 (10:04 +0000)]
Auto merge of #5528 - phansch:same-tys, r=flip1995

Cleanup: Use rustc's `same_type` for our `same_tys`

This delegates our `same_tys` to [ty::TyS::same_type][same_type] to
remove some duplication.

Our `same_tys` was introduced 4 years ago in #730. Before, it was
building an inference context to be able to call
`can_eq` to compare the types. The `rustc-dev-guide` has some more details
about `can_eq` in [Type Inference -> Trying equality][try_eq].

Now, using the rustc function, we are essentially comparing the `DefId`s
of the given types, which also makes more sense, IMO.

I also confirmed that the FIXME is resolved via a bit of `dbg!`, however
no UI tests seem to have been affected.

[same_type]: https://github.com/rust-lang/rust/blob/659951c4a0d7450e43f61c61c0e87d0ceae17087/src/librustc_middle/ty/util.rs#L777
[try_eq]: https://rustc-dev-guide.rust-lang.org/type-inference.html#trying-equality

---

changelog: none

4 years agoCleanup: Use rustc's `same_types` instead of our `same_tys`
Philipp Hansch [Sat, 6 Jun 2020 09:50:59 +0000 (11:50 +0200)]
Cleanup: Use rustc's `same_types` instead of our `same_tys`

4 years agoAuto merge of #72927 - petrochenkov:rustc, r=Mark-Simulacrum
bors [Sat, 6 Jun 2020 09:00:51 +0000 (09:00 +0000)]
Auto merge of #72927 - petrochenkov:rustc, r=Mark-Simulacrum

Rename all remaining compiler crates to use the `rustc_foo` pattern

libarena -> librustc_arena
libfmt_macros -> librustc_parse_format
libgraphviz -> librustc_graphviz
libserialize -> librustc_serialize

Closes https://github.com/rust-lang/rust/issues/71177 in particular.

4 years agoAuto merge of #72927 - petrochenkov:rustc, r=Mark-Simulacrum
bors [Sat, 6 Jun 2020 09:00:51 +0000 (09:00 +0000)]
Auto merge of #72927 - petrochenkov:rustc, r=Mark-Simulacrum

Rename all remaining compiler crates to use the `rustc_foo` pattern

libarena -> librustc_arena
libfmt_macros -> librustc_parse_format
libgraphviz -> librustc_graphviz
libserialize -> librustc_serialize

Closes https://github.com/rust-lang/rust/issues/71177 in particular.

4 years agosave_analysis: fix ice in `get_expr_data`
marmeladema [Fri, 5 Jun 2020 23:38:39 +0000 (00:38 +0100)]
save_analysis: fix ice in `get_expr_data`

4 years agoFix typo
Aaron Hill [Fri, 5 Jun 2020 22:57:17 +0000 (18:57 -0400)]
Fix typo

Co-authored-by: Randy Taylor <tehgecKozzz@gmail.com>
4 years agoAuto merge of #5688 - ebroto:fix_cargo_tests_in_rustc, r=flip1995
bors [Fri, 5 Jun 2020 21:59:37 +0000 (21:59 +0000)]
Auto merge of #5688 - ebroto:fix_cargo_tests_in_rustc, r=flip1995

Fix cargo tests when running inside the rustlang/rust repo

It seems we hit https://github.com/rust-lang/cargo/issues/5418, so I've applied the suggested solution. Also added some more info when cargo-metadata fails to execute.

(there was no open issue for this)

changelog: none

4 years agoproperly handle feature gated lints
Joey Hain [Thu, 4 Jun 2020 02:16:29 +0000 (19:16 -0700)]
properly handle feature gated lints

- lint: add `feature_gate` field, allow specifying it in `declare_lint!`

- generalize the lint feature gate check

- librustdoc: generalize whitelisting of feature-gated lints

4 years agoFix cargo ui tests when running inside rust repo
Eduardo Broto [Fri, 5 Jun 2020 20:30:14 +0000 (22:30 +0200)]
Fix cargo ui tests when running inside rust repo

4 years agoAdd error info when cargo metadata fails to run
Eduardo Broto [Fri, 5 Jun 2020 20:28:58 +0000 (22:28 +0200)]
Add error info when cargo metadata fails to run

4 years agoAuto merge of #72982 - tblah:riscv-ui-tests, r=estebank
bors [Fri, 5 Jun 2020 18:55:52 +0000 (18:55 +0000)]
Auto merge of #72982 - tblah:riscv-ui-tests, r=estebank

resolve: Sort E0408 errors by Symbol str

This is a request for comments implementing my suggested solution to https://github.com/rust-lang/rust/issues/72913

Previously errors were sorted by Symbol index instead of the string. The indexes are not the same between architectures because Symbols for architecture extensions (e.g. x86 AVX or RISC-V d) are interned before the source file is parsed. RISC-V's naming of extensions after single letters led to it having errors sorted differently for test cases using single letter variable names. Instead sort the errors by the Symbol string so that it is stable across architectures.

While I was at it, there's also 8edb05c2  skipping some ui tests which I think are irrelevant for risc-v.

4 years agoUpdate LLVM submodule to include lld NOLOAD fix
arcnmx [Fri, 5 Jun 2020 18:36:45 +0000 (11:36 -0700)]
Update LLVM submodule to include lld NOLOAD fix

https://github.com/rust-lang/llvm-project/pull/64

4 years agoImprove the new documentation to be more precise about the necessary platform's capab...
Alexis Bourget [Fri, 5 Jun 2020 17:07:24 +0000 (19:07 +0200)]
Improve the new documentation to be more precise about the necessary platform's capabilities

4 years agoIgnore windows in the test.
Felix S. Klock II [Fri, 5 Jun 2020 16:11:33 +0000 (12:11 -0400)]
Ignore windows in the test.

4 years agoAuto merge of #73025 - Dylan-DPC:rollup-a1uzj5u, r=Dylan-DPC
bors [Fri, 5 Jun 2020 15:21:01 +0000 (15:21 +0000)]
Auto merge of #73025 - Dylan-DPC:rollup-a1uzj5u, r=Dylan-DPC

Rollup of 5 pull requests

Successful merges:

 - #72260 (Spell out `Self` in async function return)
 - #72996 (Remove unsused `NodeId` related APIs in hir map)
 - #73010 (Update RELEASES.md)
 - #73017 (Use assert_eq for liballoc test)
 - #73019 (add test for #72960)

Failed merges:

r? @ghost

4 years agoAuto merge of #5687 - flip1995:release_doc, r=phansch
bors [Fri, 5 Jun 2020 13:34:19 +0000 (13:34 +0000)]
Auto merge of #5687 - flip1995:release_doc, r=phansch

Replace all remaining occurrences of submodule with subtree

r? @phansch

I should have included this in #5686, but forgot about it, so here we go again.

changelog: none

4 years agoRename traits::ImplSourceImpl to ImplSourceUserDefined.
Ana-Maria Mihalache [Tue, 2 Jun 2020 15:54:24 +0000 (15:54 +0000)]
Rename traits::ImplSourceImpl to ImplSourceUserDefined.

4 years agoRename traits::Vtable to ImplSource.
Ana-Maria Mihalache [Mon, 11 May 2020 15:25:33 +0000 (15:25 +0000)]
Rename traits::Vtable to ImplSource.

4 years agoReplace all remaining occurrences of submodule with subtree
flip1995 [Fri, 5 Jun 2020 12:47:12 +0000 (14:47 +0200)]
Replace all remaining occurrences of submodule with subtree

4 years agoAuto merge of #5671 - ebroto:changelog_144_145, r=flip1995
bors [Fri, 5 Jun 2020 12:52:23 +0000 (12:52 +0000)]
Auto merge of #5671 - ebroto:changelog_144_145, r=flip1995

Update changelog for stable:1.44 beta:1.45

[Rendered](https://github.com/ebroto/rust-clippy/blob/changelog_144_145/CHANGELOG.md)

changelog: none

4 years agoAuto merge of #5686 - flip1995:release_doc, r=phansch
bors [Fri, 5 Jun 2020 12:23:13 +0000 (12:23 +0000)]
Auto merge of #5686 - flip1995:release_doc, r=phansch

Reorder sections of release documentation

r? @phansch

[Rendered](https://github.com/flip1995/rust-clippy/blob/release_doc/doc/release.md)

changelog: none

4 years agoReorder sections of release documentation
flip1995 [Fri, 5 Jun 2020 11:56:07 +0000 (13:56 +0200)]
Reorder sections of release documentation

Before tagging a commit the beta branch has to be remerged

4 years agoAuto merge of #5685 - flip1995:backport_remerge, r=flip1995
bors [Fri, 5 Jun 2020 11:52:27 +0000 (11:52 +0000)]
Auto merge of #5685 - flip1995:backport_remerge, r=flip1995

Backport remerge

Part of the release process. Nothing to see here (literally).

d4092ac matches the current HEAD of the beta branch

changelog: none

4 years agoMerge remote-tracking branch 'upstream/beta' into backport_remerge
flip1995 [Fri, 5 Jun 2020 11:50:53 +0000 (13:50 +0200)]
Merge remote-tracking branch 'upstream/beta' into backport_remerge

4 years agoAuto merge of #72957 - Mark-Simulacrum:bootstrap-bump, r=sfackler
bors [Fri, 5 Jun 2020 11:11:26 +0000 (11:11 +0000)]
Auto merge of #72957 - Mark-Simulacrum:bootstrap-bump, r=sfackler

Bump bootstrap compiler to 1.45

Pretty standard update.

4 years agoRollup merge of #73019 - matthiaskrgr:test_72960, r=Xanewok
Dylan DPC [Fri, 5 Jun 2020 11:07:10 +0000 (13:07 +0200)]
Rollup merge of #73019 - matthiaskrgr:test_72960, r=Xanewok

add test for #72960

Fixes #72960

r? @Xanewok

4 years agoRollup merge of #73017 - pickfire:liballoc-assert, r=Xanewok
Dylan DPC [Fri, 5 Jun 2020 11:07:08 +0000 (13:07 +0200)]
Rollup merge of #73017 - pickfire:liballoc-assert, r=Xanewok

Use assert_eq for liballoc test

4 years agoRollup merge of #73010 - tshepang:patch-2, r=Mark-Simulacrum
Dylan DPC [Fri, 5 Jun 2020 11:07:06 +0000 (13:07 +0200)]
Rollup merge of #73010 - tshepang:patch-2, r=Mark-Simulacrum

Update RELEASES.md

try fix the f64 as u32 line

4 years agoRollup merge of #72996 - marmeladema:remove-hir-map-nodeid-apis, r=ecstatic-morse
Dylan DPC [Fri, 5 Jun 2020 11:07:05 +0000 (13:07 +0200)]
Rollup merge of #72996 - marmeladema:remove-hir-map-nodeid-apis, r=ecstatic-morse

Remove unsused `NodeId` related APIs in hir map

cc #50928

r? @ecstatic-morse

4 years agoRollup merge of #72260 - csmoe:issue-69276, r=estebank
Dylan DPC [Fri, 5 Jun 2020 11:07:03 +0000 (13:07 +0200)]
Rollup merge of #72260 - csmoe:issue-69276, r=estebank

Spell out `Self` in async function return

Closes #69276
r? @tmandry

4 years agoadd test for #72960
Matthias Krüger [Fri, 5 Jun 2020 10:03:43 +0000 (12:03 +0200)]
add test for #72960

Fixes #72960

4 years agoUse assert_eq for liballoc test
Ivan Tham [Fri, 5 Jun 2020 08:56:51 +0000 (16:56 +0800)]
Use assert_eq for liballoc test