]> git.lizzy.rs Git - rust.git/log
rust.git
4 years agorecord upvar into GeneratorInteriorTypeCause
csmoe [Tue, 5 May 2020 15:26:33 +0000 (23:26 +0800)]
record upvar into GeneratorInteriorTypeCause

4 years agomake yield span optional
csmoe [Tue, 5 May 2020 15:24:34 +0000 (23:24 +0800)]
make yield span optional

4 years agoadd testcase for issue-70818
csmoe [Thu, 30 Apr 2020 04:15:59 +0000 (12:15 +0800)]
add testcase for issue-70818

4 years agoAuto merge of #71866 - Dylan-DPC:rollup-g9xqc8k, r=Dylan-DPC
bors [Mon, 4 May 2020 01:48:07 +0000 (01:48 +0000)]
Auto merge of #71866 - Dylan-DPC:rollup-g9xqc8k, r=Dylan-DPC

Rollup of 4 pull requests

Successful merges:

 - #71645 (Direct contributors to try stage 0 rustdoc first)
 - #71801 (Correctly check comparison operator in MIR typeck)
 - #71844 (List Clippy as a subtree, instead of a submodule)
 - #71864 (Update link in contributing.md)

Failed merges:

r? @ghost

4 years agoRollup merge of #71864 - mibac138:patch-1, r=jonas-schievink
Dylan DPC [Mon, 4 May 2020 01:15:03 +0000 (03:15 +0200)]
Rollup merge of #71864 - mibac138:patch-1, r=jonas-schievink

Update link in contributing.md

4 years agoRollup merge of #71844 - flip1995:subtree_clippy_doc, r=oli-obk
Dylan DPC [Mon, 4 May 2020 01:15:01 +0000 (03:15 +0200)]
Rollup merge of #71844 - flip1995:subtree_clippy_doc, r=oli-obk

List Clippy as a subtree, instead of a submodule

r? @oli-obk

4 years agoRollup merge of #71801 - matthewjasper:operator-subtyping, r=varkor
Dylan DPC [Mon, 4 May 2020 01:14:57 +0000 (03:14 +0200)]
Rollup merge of #71801 - matthewjasper:operator-subtyping, r=varkor

Correctly check comparison operator in MIR typeck

The subtyping for comparisons between pointers was reversed in MIR typeck.
There also wasn't a check that comparisons between numeric types had matching types.

4 years agoRollup merge of #71645 - ecstatic-morse:readme-build-doc, r=Mark-Simulacrum
Dylan DPC [Mon, 4 May 2020 01:14:53 +0000 (03:14 +0200)]
Rollup merge of #71645 - ecstatic-morse:readme-build-doc, r=Mark-Simulacrum

Direct contributors to try stage 0 rustdoc first

After #71458, `./x.py doc --stage 0 src/libstd` is (empirically) able to build the standard library docs using the `rustdoc` packaged with the bootstrap compiler. This means that new contributors don't need to build the compiler to locally inspect small documentation fixes. This was a roadblock for me when I first started contributing to rust and something that still regularly annoys people. We should recommend that contributors give bootstrap `rustdoc` a try before building the whole compiler.

4 years agoAuto merge of #71631 - RalfJung:miri-unleash-the-gates, r=oli-obk
bors [Sun, 3 May 2020 22:54:55 +0000 (22:54 +0000)]
Auto merge of #71631 - RalfJung:miri-unleash-the-gates, r=oli-obk

Miri: unleash all feature gates

IMO it is silly to unleash features that do not even have a feature gate yet, but not unleash features that do. The only thing this achieves is making unleashed mode annoying to use as we have to figure out the feature flags to enable (and not always do the error messages say what that flag is).

Given that the point of `-Z unleash-the-miri-inside-of-you` is to debug the Miri internals, I see no good reason for this extra hurdle. I cannot imagine a situation where we'd use that flag, realize the program also requires some feature gate, and then be like "oh I guess if this feature is unstable I will do something else". Instead, we'll always just add that flag to the code as well, so requiring the flag achieves nothing.

r? @oli-obk @ecstatic-morse
Fixes https://github.com/rust-lang/rust/issues/71630

4 years agoUpdate link in contributing.md
Michael [Sun, 3 May 2020 22:40:15 +0000 (00:40 +0200)]
Update link in contributing.md

4 years agoAuto merge of #71006 - ecstatic-morse:dataflow-bidi, r=ecstatic-morse
bors [Sun, 3 May 2020 19:46:17 +0000 (19:46 +0000)]
Auto merge of #71006 - ecstatic-morse:dataflow-bidi, r=ecstatic-morse

Use existing framework for backward dataflow analyses

This PR adds support for backward analyses to the dataflow framework and adds a new live variable analysis (based on the existing one in `librustc_mir/util/liveness.rs`). By adding these to the framework instead of having a separate API, all newly implemented backward dataflow analyses get cursors/visitors, `rustc_peek` tests, and graphviz visualizations for free. In the near-term, this makes it much easier to implement global dead-store elimination, and I believe that this will enable even more MIR optimizations in the future.

This PR makes many changes to the dataflow API, since some concepts and terminology only make sense in forward dataflow. Below is a list of the important changes.
- ~~`entry_set` -> `fixpoint` (the fixpoint for backward dataflow problems is after the block's terminator)~~
- `seek_{before,after}` -> `seek_{before,after}_primary_effect` (the unprefixed dataflow effect is now referred to as the "primary" effect instead of the "after" effect. The "before" effect remains the same, although I considered changing it to the "antecedent" effect. In both backward and forward dataflow, the "before" effect is applied prior to the "primary" effect. I feel very strongly that this is the correct choice, as it means consumers don't have to switch between `seek_before` and `seek_after` based on the direction of their analysis.
- `seek_after_assume_call_returns` is now gone. Users can use `ResultsCursor::apply_custom_effect` to emulate it.
- `visit_{statement,terminator}_exit` -> `visit_{statement,terminator}_after_primary_effect`
- `visit_{statement,terminator}` -> `visit_{statement,terminator}_before_primary_effect`

Implementing this also required refactoring the dataflow cursor implementation so it could work in both directions. This is a large percentage of the diff, since the cursor code is rather complex. The fact that the cursor is exhaustively tested in both directions should reassure whomever is unlucky enough to review this :rofl:.

In order to avoid computing the reverse CFG for forward dataflow analyses, I've added some hacks to the existing `mir::BodyAndCache` interface. I've requested changes to this interface that would let me implement this more efficiently.

r? @eddyb (feel free to reassign)
cc @rust-lang/wg-mir-opt

4 years agoUpdate clippy lint
Dylan MacKenzie [Sun, 3 May 2020 18:41:03 +0000 (11:41 -0700)]
Update clippy lint

4 years agoReflect API changes on current master
Dylan MacKenzie [Fri, 1 May 2020 18:19:27 +0000 (11:19 -0700)]
Reflect API changes on current master

4 years agoUse agreed upon terminology in cursor docs
Dylan MacKenzie [Fri, 1 May 2020 18:02:56 +0000 (11:02 -0700)]
Use agreed upon terminology in cursor docs

4 years agoAdd `rustc_peek` test for liveness with borrows
Dylan MacKenzie [Fri, 10 Apr 2020 18:00:48 +0000 (11:00 -0700)]
Add `rustc_peek` test for liveness with borrows

4 years agoSupport liveness in `rustc_peek` tests
Dylan MacKenzie [Fri, 10 Apr 2020 18:00:11 +0000 (11:00 -0700)]
Support liveness in `rustc_peek` tests

4 years agoUse new liveness analysis during generator transform
Dylan MacKenzie [Fri, 10 Apr 2020 18:13:31 +0000 (11:13 -0700)]
Use new liveness analysis during generator transform

4 years agoLive variable analysis
Dylan MacKenzie [Wed, 25 Mar 2020 23:19:14 +0000 (16:19 -0700)]
Live variable analysis

4 years agoInitialize the cursor with an empty state
Dylan MacKenzie [Mon, 20 Apr 2020 00:48:13 +0000 (17:48 -0700)]
Initialize the cursor with an empty state

4 years agoSupport backward dataflow analyses
Dylan MacKenzie [Sun, 22 Mar 2020 19:09:40 +0000 (12:09 -0700)]
Support backward dataflow analyses

4 years agoRename `live_locals` -> `live_locals_at_any_suspension_point`
Dylan MacKenzie [Fri, 10 Apr 2020 18:19:24 +0000 (11:19 -0700)]
Rename `live_locals` -> `live_locals_at_any_suspension_point`

4 years agoAdd `MutatingUseContext::Yield`
Dylan MacKenzie [Thu, 2 Apr 2020 17:54:24 +0000 (10:54 -0700)]
Add `MutatingUseContext::Yield`

...emulating `MutatingUseContext::Call`

4 years agoAuto merge of #71853 - Dylan-DPC:rollup-4qi6ry9, r=Dylan-DPC
bors [Sun, 3 May 2020 16:38:41 +0000 (16:38 +0000)]
Auto merge of #71853 - Dylan-DPC:rollup-4qi6ry9, r=Dylan-DPC

Rollup of 4 pull requests

Successful merges:

 - #71398 (Add `RefCell::take`)
 - #71663 (Fix exceeding bitshifts not emitting for assoc. consts (properly this time, I swear!))
 - #71726 (Suggest deref when coercing `ty::Ref` to `ty::RawPtr` with arbitrary mutability)
 - #71808 (Add long error explanation for E0539)

Failed merges:

r? @ghost

4 years agoRollup merge of #71808 - unexge:long-err-expl-for-e0539, r=GuillaumeGomez
Dylan DPC [Sun, 3 May 2020 16:34:50 +0000 (18:34 +0200)]
Rollup merge of #71808 - unexge:long-err-expl-for-e0539, r=GuillaumeGomez

Add long error explanation for E0539

since this error is similar to [E0551](https://github.com/rust-lang/rust/blob/master/src/librustc_error_codes/error_codes/E0551.md) most of the content was copied from it. part of #61137.

4 years agoRollup merge of #71726 - ldm0:ref2ptr, r=oli-obk
Dylan DPC [Sun, 3 May 2020 16:34:46 +0000 (18:34 +0200)]
Rollup merge of #71726 - ldm0:ref2ptr, r=oli-obk

Suggest deref when coercing `ty::Ref` to `ty::RawPtr` with arbitrary mutability

Fixes #71676
1. Implement dereference suggestion when coercing `ty::Ref` to `ty::RawPtr` with arbitrary mutability.
2. Extract the dereference steps into `deref_steps()`, which removes all the `use` and `pub` noise introduced by last PR #71540, and makes the code more readable.
3. Use the `remove_prefix()` closure which makes the prefix removal more readable.
4. Introduce `Applicability` as a return value of `check_ref` to suggest `Applicability::Unspecified` suggestion.

**Special**: I found it is not possible to genereate `Applicability::MachineApplicable` suggestion for situation like this:
```rust
use std::ops::Deref;
use std::ops::DerefMut;
struct Bar(u8);
struct Foo(Bar);
struct Emm(Foo);
impl Deref for Bar{
    type Target = u8;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}
impl Deref for Foo {
    type Target = Bar;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}
impl Deref for Emm {
    type Target = Foo;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}
impl DerefMut for Bar{
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}
impl DerefMut for Foo {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}
impl DerefMut for Emm {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}
fn main() {
    let a = Emm(Foo(Bar(0)));
    let _: *mut u8 = &a; //~ ERROR mismatched types
}
```
We may suggest `&mut ***a` here, but the `a` is not declared as mutable variable. And also when processing HIR, it's not possible to check if `a` is declared as a mutable variable (currently we do borrow checking with MIR). So we cannot ensure that suggestion when coercing immutable reference to mutable pointer is always machine applicable. Therefore I added a `Applicability` return value in `check_ref()`. And move the `immutable reference -> mutable pointer` situation into a sperate test file without `run-rustfix`. (It seems that `run-rustfix` will also adopt `Applicability::Unspecified` suggestion, which is strange)

4 years agoRollup merge of #71663 - jumbatm:caller-handles-validation-error, r=RalfJung
Dylan DPC [Sun, 3 May 2020 16:34:41 +0000 (18:34 +0200)]
Rollup merge of #71663 - jumbatm:caller-handles-validation-error, r=RalfJung

Fix exceeding bitshifts not emitting for assoc. consts (properly this time, I swear!)

Fixes #69021 and fixes #71353.

As described in https://github.com/rust-lang/rust/issues/71353#issuecomment-617901923, this PR:

- adds a variant of `try_validation!` called `try_validation_pat!` that allows specific failures to be turned into validation failures (but returns the rest, unchanged), and
- allows `InvalidProgram` to be returned out of validation

r? @RalfJung

4 years agoRollup merge of #71398 - ThinkChaos:feat_refcell_take, r=LukasKalbertodt
Dylan DPC [Sun, 3 May 2020 16:34:34 +0000 (18:34 +0200)]
Rollup merge of #71398 - ThinkChaos:feat_refcell_take, r=LukasKalbertodt

Add `RefCell::take`

Add `RefCell::take` to match `Cell` and `Option`.
I also changed a couple of calls to `.replace` to `.take`.

Tracking issue is #71395.

This is my first contribution, please tell me if there's anything I could improve, thanks!

4 years agobless caller-location test
Ralf Jung [Sun, 3 May 2020 16:04:24 +0000 (18:04 +0200)]
bless caller-location test

4 years agoremove unneeded flags; exlain why we still have const_if_match
Ralf Jung [Sun, 3 May 2020 15:14:33 +0000 (17:14 +0200)]
remove unneeded flags; exlain why we still have const_if_match

4 years agofmt
Ralf Jung [Sun, 3 May 2020 15:12:50 +0000 (17:12 +0200)]
fmt

4 years agoList Clippy as a subtree, instead of a submodule
flip1995 [Sun, 3 May 2020 13:58:30 +0000 (15:58 +0200)]
List Clippy as a subtree, instead of a submodule

4 years agowarn about each skipped feature gate
Ralf Jung [Sun, 3 May 2020 12:23:08 +0000 (14:23 +0200)]
warn about each skipped feature gate

4 years agoCorrectly check comparison operators in MIR typeck
Matthew Jasper [Sat, 2 May 2020 12:18:31 +0000 (13:18 +0100)]
Correctly check comparison operators in MIR typeck

4 years agoAuto merge of #70825 - eddyb:enum-discr-correct-generics-parent, r=nikomatsakis
bors [Sun, 3 May 2020 12:05:46 +0000 (12:05 +0000)]
Auto merge of #70825 - eddyb:enum-discr-correct-generics-parent, r=nikomatsakis

typeck: always expose explicit enum discriminant `AnonConst`s' parent in `generics_of`.

This is similar to #70452 but for explicit `enum` discriminant constant expressions.
However, unlike #70452, this PR should have no effect on stable code, as while it alleviates #43408 errors, there is no way to actually compile an `enum` with generic parameters *and* explicit discriminants, without `#![feature(arbitrary_enum_discriminant)]`, as explicit discriminant expression don't count as uses of parameters (if they did, they would count as invariant uses).

<hr/>

There's also 2 other commits here, both related to #70453:
* "ty: use `delay_span_bug` in `ty::AdtDef::eval_explicit_discr`." - hides the ICEs demonstrated on #70453, when there are other errors (which the next commit adds)
* "typeck/wfcheck: require that explicit enum discriminants const-evaluate succesfully." - closes #70453 by picking alternative "2", i.e. erroring when a discriminant doesn't fully const-evaluate from the perspective of the `enum` definition

In the future, it might be possible to allow `enum` discriminants to actually depend on parameters, but that will likely require #68436 + some way to restrict the values so no two variants can end up with overlapping discriminants.

As this PR would close #70453, it shouldn't be merged until a decision is reached there.

r? @nikomatsakis

4 years agoMention `RefCell::take` can panic in docs
ThinkChaos [Sun, 3 May 2020 10:52:23 +0000 (12:52 +0200)]
Mention `RefCell::take` can panic in docs

4 years agoAuto merge of #71828 - Dylan-DPC:rollup-qf5h2w5, r=Dylan-DPC
bors [Sun, 3 May 2020 08:53:03 +0000 (08:53 +0000)]
Auto merge of #71828 - Dylan-DPC:rollup-qf5h2w5, r=Dylan-DPC

Rollup of 5 pull requests

Successful merges:

 - #71165 (`slice::fill`: use `T` instead of generic arg)
 - #71314 (Implement RFC 2523, `#[cfg(version(..))]`)
 - #71542 (Implement `confusable_idents` lint.)
 - #71806 (typo)
 - #71813 (Decode qualifs for associated const defaults)

Failed merges:

r? @ghost

4 years agoRollup merge of #71813 - ecstatic-morse:issue-71734, r=tmandry
Dylan DPC [Sun, 3 May 2020 08:48:08 +0000 (14:18 +0530)]
Rollup merge of #71813 - ecstatic-morse:issue-71734, r=tmandry

Decode qualifs for associated const defaults

Fixes #71734.

We encode qualifs for associated constants, but never expected to decode the qualifs for defaulted associated consts. Fix this, and test that associated const defaults have the correct qualifs cross-crate.

r? @tmandry

4 years agoRollup merge of #71806 - lcnr:patch-3, r=jonas-schievink
Dylan DPC [Sun, 3 May 2020 08:48:04 +0000 (14:18 +0530)]
Rollup merge of #71806 - lcnr:patch-3, r=jonas-schievink

typo

4 years agoRollup merge of #71542 - crlf0710:confusable_idents, r=petrochenkov
Dylan DPC [Sun, 3 May 2020 08:48:02 +0000 (14:18 +0530)]
Rollup merge of #71542 - crlf0710:confusable_idents, r=petrochenkov

Implement `confusable_idents` lint.

This collects all identifier symbols into `ParseSession` and examines them within the non-ascii-idents lint.

The skeleton generation part needs to be added to `unicode-security` crate. Will update this PR when the crate is updated.

r? @petrochenkov

EDIT: also included the `concat_idents` part.

4 years agoRollup merge of #71314 - mibac138:cfg-version, r=petrochenkov
Dylan DPC [Sun, 3 May 2020 08:48:00 +0000 (14:18 +0530)]
Rollup merge of #71314 - mibac138:cfg-version, r=petrochenkov

Implement RFC 2523, `#[cfg(version(..))]`

Hi! This is my first contribution to rust, I hope I didn't miss anything. I tried to implement this feature so that `#[cfg(version(1.44.0))]` works but the parser was printing an error that I wasn't sure how to fix so I just opted for implementing `#[cfg(version("1.44.0"))]` (note the quotes).

Tracking issue: #64796

4 years agoRollup merge of #71165 - lcnr:patch-2, r=Amanieu
Dylan DPC [Sun, 3 May 2020 08:47:53 +0000 (14:17 +0530)]
Rollup merge of #71165 - lcnr:patch-2, r=Amanieu

`slice::fill`: use `T` instead of generic arg

implements https://github.com/rust-lang/rust/issues/70758#issuecomment-613994427

As the discussion in #70758 has shifted, I now use `T` instead of `&T`.

4 years agoAuto merge of #71815 - Mark-Simulacrum:no-llvm-rebuild, r=jonas-schievink
bors [Sun, 3 May 2020 02:58:00 +0000 (02:58 +0000)]
Auto merge of #71815 - Mark-Simulacrum:no-llvm-rebuild, r=jonas-schievink

Don't bust caches on x.py check/build switches

Fixes #71152

4 years agoAdd build script to rustc_attr because of cfg(version)
mibac138 [Sat, 2 May 2020 16:33:42 +0000 (18:33 +0200)]
Add build script to rustc_attr because of cfg(version)

4 years agoAdd more tests for cfg(version)
mibac138 [Tue, 28 Apr 2020 14:07:50 +0000 (16:07 +0200)]
Add more tests for cfg(version)

4 years agoChange cfg(version) error message wording
mibac138 [Tue, 28 Apr 2020 14:07:11 +0000 (16:07 +0200)]
Change cfg(version) error message wording

4 years agoImplement RFC 2523, `#[cfg(version(..))]`
mibac138 [Sun, 19 Apr 2020 08:47:55 +0000 (10:47 +0200)]
Implement RFC 2523, `#[cfg(version(..))]`

4 years agoAuto merge of #71807 - Dylan-DPC:rollup-jvb8sd9, r=Dylan-DPC
bors [Sat, 2 May 2020 23:35:09 +0000 (23:35 +0000)]
Auto merge of #71807 - Dylan-DPC:rollup-jvb8sd9, r=Dylan-DPC

Rollup of 7 pull requests

Successful merges:

 - #69274 (Implement RFC 2396: `#[target_feature]` 1.1)
 - #71767 (doc: make Stack and StackElement a little pretty)
 - #71772 (Mark query function as must_use.)
 - #71777 (cleanup: `config::CrateType` -> `CrateType`)
 - #71784 (Remove recommendation for unmaintained dirs crate)
 - #71785 (Update comment regarding SO_REUSEADDR on Windows)
 - #71787 (fix rustdoc warnings)

Failed merges:

r? @ghost

4 years agoDon't skip building LLVM if already built
Mark Rousskov [Sat, 2 May 2020 22:39:33 +0000 (18:39 -0400)]
Don't skip building LLVM if already built

4 years agoExtract stamp testing for LLVM
Mark Rousskov [Sat, 2 May 2020 22:25:45 +0000 (18:25 -0400)]
Extract stamp testing for LLVM

The extracted function can be used by the rest of bootstrap to detect if we've
already built an up-to-date LLVM (and so it's safe for us to either request it
or pretend it exists).

4 years agoDecode qualifs from defaulted trait associated consts
Dylan MacKenzie [Sat, 2 May 2020 21:17:04 +0000 (14:17 -0700)]
Decode qualifs from defaulted trait associated consts

4 years agoTest associated const default qualifs cross-crate
Dylan MacKenzie [Sat, 2 May 2020 21:39:12 +0000 (14:39 -0700)]
Test associated const default qualifs cross-crate

This also tests for the ICE in #71734

4 years agoAdd stability attribute to E0539 error examples
unexge [Sat, 2 May 2020 21:25:45 +0000 (00:25 +0300)]
Add stability attribute to E0539 error examples

4 years agoAuto merge of #69274 - LeSeulArtichaut:target-feature-11, r=hanna-kruppe
bors [Sat, 2 May 2020 20:24:50 +0000 (20:24 +0000)]
Auto merge of #69274 - LeSeulArtichaut:target-feature-11, r=hanna-kruppe

Implement RFC 2396: `#[target_feature]` 1.1

Tracking issue: #69098

r? @nikomatsakis
cc @gnzlbg @joshtriplett

4 years agoAdd `#![feature(staged_api)]` attribute to E0539 error examples
unexge [Sat, 2 May 2020 20:10:34 +0000 (23:10 +0300)]
Add `#![feature(staged_api)]` attribute to E0539 error examples

4 years agoAdd a fast code path to optimize `confusable_idents` lint for ASCII code base.
Charles Lew [Fri, 1 May 2020 04:34:04 +0000 (12:34 +0800)]
Add a fast code path to optimize `confusable_idents` lint for ASCII code base.

4 years agoImplement `confusable_idents` lint.
Charles Lew [Sat, 25 Apr 2020 01:38:31 +0000 (09:38 +0800)]
Implement `confusable_idents` lint.

4 years agoslice::fill: take T by value.
Bastian Kauschke [Thu, 16 Apr 2020 15:49:41 +0000 (17:49 +0200)]
slice::fill: take T by value.

4 years agoAdd long error explanation for E0539
unexge [Sat, 2 May 2020 18:14:08 +0000 (21:14 +0300)]
Add long error explanation for E0539

4 years agotypeck: always expose explicit enum discriminant `AnonConst`s' parent in `generics_of`.
Eduard-Mihai Burtescu [Sun, 5 Apr 2020 21:14:52 +0000 (00:14 +0300)]
typeck: always expose explicit enum discriminant `AnonConst`s' parent in `generics_of`.

4 years agotypeck/wfcheck: require that explicit enum discriminants const-evaluate succesfully.
Eduard-Mihai Burtescu [Sun, 5 Apr 2020 21:13:57 +0000 (00:13 +0300)]
typeck/wfcheck: require that explicit enum discriminants const-evaluate succesfully.

4 years agoRollup merge of #71787 - tshepang:rustdoc-warnings, r=varkor
Dylan DPC [Sat, 2 May 2020 16:27:52 +0000 (18:27 +0200)]
Rollup merge of #71787 - tshepang:rustdoc-warnings, r=varkor

fix rustdoc warnings

4 years agoRollup merge of #71785 - reitermarkus:cfg-attribute, r=Mark-Simulacrum
Dylan DPC [Sat, 2 May 2020 16:27:48 +0000 (18:27 +0200)]
Rollup merge of #71785 - reitermarkus:cfg-attribute, r=Mark-Simulacrum

Update comment regarding SO_REUSEADDR on Windows

4 years agoRollup merge of #71784 - Xaeroxe:patch-1, r=jonas-schievink
Dylan DPC [Sat, 2 May 2020 16:27:43 +0000 (18:27 +0200)]
Rollup merge of #71784 - Xaeroxe:patch-1, r=jonas-schievink

Remove recommendation for unmaintained dirs crate

See #71684 for reasoning here

4 years agoRollup merge of #71777 - petrochenkov:crtype, r=Mark-Simulacrum
Dylan DPC [Sat, 2 May 2020 16:27:39 +0000 (18:27 +0200)]
Rollup merge of #71777 - petrochenkov:crtype, r=Mark-Simulacrum

cleanup: `config::CrateType` -> `CrateType`

4 years agoRollup merge of #71772 - cjgillot:ensure, r=petrochenkov
Dylan DPC [Sat, 2 May 2020 16:27:35 +0000 (18:27 +0200)]
Rollup merge of #71772 - cjgillot:ensure, r=petrochenkov

Mark query function as must_use.

And use the `ensure()` version when the result is not needed.

4 years agoRollup merge of #71767 - tshepang:stack-stuff, r=jonas-schievink
Dylan DPC [Sat, 2 May 2020 16:27:31 +0000 (18:27 +0200)]
Rollup merge of #71767 - tshepang:stack-stuff, r=jonas-schievink

doc: make Stack and StackElement a little pretty

Also, fix rustdoc warnings.

4 years agoRollup merge of #69274 - LeSeulArtichaut:target-feature-11, r=hanna-kruppe
Dylan DPC [Sat, 2 May 2020 16:27:27 +0000 (18:27 +0200)]
Rollup merge of #69274 - LeSeulArtichaut:target-feature-11, r=hanna-kruppe

Implement RFC 2396: `#[target_feature]` 1.1

Tracking issue: #69098

r? @nikomatsakis
cc @gnzlbg @joshtriplett

4 years agoAuto merge of #71794 - RalfJung:miri, r=RalfJung
bors [Sat, 2 May 2020 16:24:51 +0000 (16:24 +0000)]
Auto merge of #71794 - RalfJung:miri, r=RalfJung

update Miri

This contains the concurrency support by @vakaras :)

Fixes https://github.com/rust-lang/rust/issues/71729
r? @ghost
Cc @rust-lang/miri

4 years agotypo
Bastian Kauschke [Sat, 2 May 2020 16:16:36 +0000 (18:16 +0200)]
typo

4 years agoty: use `delay_span_bug` in `ty::AdtDef::eval_explicit_discr`.
Eduard-Mihai Burtescu [Sun, 5 Apr 2020 21:12:58 +0000 (00:12 +0300)]
ty: use `delay_span_bug` in `ty::AdtDef::eval_explicit_discr`.

4 years agoReplace `cfg` macro with attribute.
Markus Reiter [Sat, 2 May 2020 05:05:22 +0000 (07:05 +0200)]
Replace `cfg` macro with attribute.

4 years agoAuto merge of #70655 - oli-obk:subrepo_funness, r=Mark-Simulacrum
bors [Sat, 2 May 2020 13:19:30 +0000 (13:19 +0000)]
Auto merge of #70655 - oli-obk:subrepo_funness, r=Mark-Simulacrum

Make clippy a git subtree instead of a git submodule

r? @eddyb

cc #70651

documentation at https://github.com/rust-lang/rust/pull/70654

4 years agofix miri-unleash delayed sanity checking
Ralf Jung [Sat, 2 May 2020 12:39:19 +0000 (14:39 +0200)]
fix miri-unleash delayed sanity checking

4 years agoexplain why we use def_span
Ralf Jung [Sat, 2 May 2020 11:35:17 +0000 (13:35 +0200)]
explain why we use def_span

4 years agomake sure the miri-unleash-flag is not used to circumvent feature gates
Ralf Jung [Sat, 2 May 2020 11:19:24 +0000 (13:19 +0200)]
make sure the miri-unleash-flag is not used to circumvent feature gates

4 years agoAuto merge of #71795 - RalfJung:rollup-yqxfi5a, r=RalfJung
bors [Sat, 2 May 2020 10:13:57 +0000 (10:13 +0000)]
Auto merge of #71795 - RalfJung:rollup-yqxfi5a, r=RalfJung

Rollup of 6 pull requests

Successful merges:

 - #71712 (Miri: port error backtraces to std::backtrace)
 - #71736 (bootstrap: also apply unused-attributes hack without deny_warnings)
 - #71738 (remove AllocId generalization of Pointer)
 - #71739 (remove obsolete comment)
 - #71781 (Uncomment test code for failure to use `Box::pin`)
 - #71782 (Use a non-existent test path instead of clobbering /dev/null)

Failed merges:

r? @ghost

4 years agoRollup merge of #71782 - cuviper:leave-dev-null-alone, r=Mark-Simulacrum
Ralf Jung [Sat, 2 May 2020 10:08:15 +0000 (12:08 +0200)]
Rollup merge of #71782 - cuviper:leave-dev-null-alone, r=Mark-Simulacrum

Use a non-existent test path instead of clobbering /dev/null

Fixes #71502.
r? @Mark-Simulacrum

4 years agoRollup merge of #71781 - estebank:box-pin-test, r=tmandry
Ralf Jung [Sat, 2 May 2020 10:08:13 +0000 (12:08 +0200)]
Rollup merge of #71781 - estebank:box-pin-test, r=tmandry

Uncomment test code for failure to use `Box::pin`

Close #69083.

4 years agoRollup merge of #71739 - tshepang:master, r=Dylan-DPC
Ralf Jung [Sat, 2 May 2020 10:08:12 +0000 (12:08 +0200)]
Rollup merge of #71739 - tshepang:master, r=Dylan-DPC

remove obsolete comment

Referenced was removed in 9f492fefef8d9a75f6dc27c834561fe977ca70c5

4 years agoRollup merge of #71738 - RalfJung:pointer-no-alloc-id, r=oli-obk
Ralf Jung [Sat, 2 May 2020 10:08:10 +0000 (12:08 +0200)]
Rollup merge of #71738 - RalfJung:pointer-no-alloc-id, r=oli-obk

remove AllocId generalization of Pointer

This was only needed for the "snapshot" machinery, which is gone.

r? @oli-obk

4 years agoRollup merge of #71736 - RalfJung:silence-spurious-unused, r=Mark-Simulacrum
Ralf Jung [Sat, 2 May 2020 10:08:09 +0000 (12:08 +0200)]
Rollup merge of #71736 - RalfJung:silence-spurious-unused, r=Mark-Simulacrum

bootstrap: also apply unused-attributes hack without deny_warnings

This is a follow-up to https://github.com/rust-lang/rust/pull/70881 that also silences these warnings when deny_warnings is off. They otherwise spam my screen during development and make it hard to see actual warnings.

Cc  @eddyb r? @Mark-Simulacrum

4 years agoRollup merge of #71712 - RalfJung:error-backtrace, r=oli-obk
Ralf Jung [Sat, 2 May 2020 10:08:03 +0000 (12:08 +0200)]
Rollup merge of #71712 - RalfJung:error-backtrace, r=oli-obk

Miri: port error backtraces to std::backtrace

No need to pull in an external dependency if libstd already includes this feature (using the same dependency internally, but... still).

r? @oli-obk

4 years agoupdate Miri
Ralf Jung [Sat, 2 May 2020 10:04:13 +0000 (12:04 +0200)]
update Miri

4 years agocleanup: `config::CrateType` -> `CrateType`
Vadim Petrochenkov [Fri, 1 May 2020 22:30:23 +0000 (01:30 +0300)]
cleanup: `config::CrateType` -> `CrateType`

4 years agofix rustdoc warnings
Tshepang Lekhonkhobe [Fri, 1 May 2020 20:28:15 +0000 (22:28 +0200)]
fix rustdoc warnings

4 years agoAdd 'src/tools/clippy/' from commit 'd2708873ef711ec8ab45df1e984ecf24a96cd369'
Oliver Scherer [Sat, 2 May 2020 07:49:00 +0000 (09:49 +0200)]
Add 'src/tools/clippy/' from commit 'd2708873ef711ec8ab45df1e984ecf24a96cd369'

git-subtree-dir: src/tools/clippy
git-subtree-mainline: 06c44816c1532e5ff08ad072f581fc068eb60e2e
git-subtree-split: d2708873ef711ec8ab45df1e984ecf24a96cd369

4 years agoDelete the clippy submodule
Oliver Scherer [Wed, 1 Apr 2020 10:27:30 +0000 (12:27 +0200)]
Delete the clippy submodule

4 years agoAlso build clippy with `./x.py check`
Oliver Scherer [Wed, 1 Apr 2020 13:57:48 +0000 (15:57 +0200)]
Also build clippy with `./x.py check`

4 years agoGate on clippy on CI
Oliver Scherer [Wed, 1 Apr 2020 11:18:06 +0000 (13:18 +0200)]
Gate on clippy on CI

4 years agoUpdate src/libserialize/json.rs
Tshepang Lekhonkhobe [Sat, 2 May 2020 06:51:54 +0000 (08:51 +0200)]
Update src/libserialize/json.rs

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
4 years agoAuto merge of #70170 - eddyb:wf-early-exit, r=nikomatsakis
bors [Sat, 2 May 2020 06:51:08 +0000 (06:51 +0000)]
Auto merge of #70170 - eddyb:wf-early-exit, r=nikomatsakis

wf: handle "livelock" checking before reaching `WfPredicates::compute`.

For `wf::obligations`'s "livelock" handling, this PR shouldn't cause any behavioral changes, as the check moved to it should be equivalent to the old one in `WfPredicates::compute`.

However, it fixes #70168 by making *other* users of `WfPredicates::compute` (that is, `wf::predicate_obligations` and `compute`'s own upvar handling) correct for `ty::Infer`, in that they now get a `WellFormed(ty::Infer(_))` obligation instead of silently ignoring the type.

r? @nikomatsakis

4 years agoReplace convenient function `remove_prefix()` with `replace_prefix()`
Donough Liu [Fri, 1 May 2020 13:59:09 +0000 (21:59 +0800)]
Replace convenient function `remove_prefix()` with `replace_prefix()`

4 years agoSuggestion for immutable reference -> mutable pointer should be emitted
Donough Liu [Fri, 1 May 2020 13:57:19 +0000 (21:57 +0800)]
Suggestion for immutable reference -> mutable pointer should be emitted
as `Applicability::Unspecified`

4 years agoAdd comments for deref_steps()
Donough Liu [Fri, 1 May 2020 13:56:10 +0000 (21:56 +0800)]
Add comments for deref_steps()

4 years agoSuggest deref when coercing `ty::Ref` to `ty::RawPtr` with arbitrary
Donough Liu [Thu, 30 Apr 2020 22:36:06 +0000 (06:36 +0800)]
Suggest deref when coercing `ty::Ref` to `ty::RawPtr` with arbitrary
mutability

4 years agoAuto merge of #71716 - alexcrichton:bitcode-follow-up, r=nnethercote
bors [Sat, 2 May 2020 03:39:04 +0000 (03:39 +0000)]
Auto merge of #71716 - alexcrichton:bitcode-follow-up, r=nnethercote

Rename `bitcode-in-rlib` option to `embed-bitcode`

This commit finishes work first pioneered in #70458 and started in #71528.
The `-C bitcode-in-rlib` option, which has not yet reached stable, is
renamed to `-C embed-bitcode` since that more accurately reflects what
it does now anyway. Various tests and such are updated along the way as
well.

This'll also need to be backported to the beta channel to ensure we
don't accidentally stabilize `-Cbitcode-in-rlib` as well.

4 years agoRemove recommendation for unmaintained crate
Jacob Kiesel [Sat, 2 May 2020 02:51:20 +0000 (20:51 -0600)]
Remove recommendation for unmaintained crate

4 years agoAuto merge of #71776 - Dylan-DPC:rollup-k1iuuow, r=Dylan-DPC
bors [Sat, 2 May 2020 00:21:39 +0000 (00:21 +0000)]
Auto merge of #71776 - Dylan-DPC:rollup-k1iuuow, r=Dylan-DPC

Rollup of 5 pull requests

Successful merges:

 - #71018 (handle ConstValue::ByRef in relate)
 - #71758 (Remove leftover chalk types)
 - #71760 (Document unsafety for `*const T` and `*mut T`)
 - #71761 (doc: reference does not exist, probably a typo)
 - #71762 (doc: this resulted in a link pointing to a non-existent target)

Failed merges:

 - #71726 (Suggest deref when coercing `ty::Ref` to `ty::RawPtr` with arbitrary mutability)

r? @ghost

4 years agoUncomment test code for failure to use `Box::pin`
Esteban Küber [Fri, 1 May 2020 23:53:20 +0000 (16:53 -0700)]
Uncomment test code for failure to use `Box::pin`

Close #69083.

4 years agoUse a non-existent test path instead of clobbering /dev/null
Josh Stone [Fri, 1 May 2020 23:50:10 +0000 (16:50 -0700)]
Use a non-existent test path instead of clobbering /dev/null