]> git.lizzy.rs Git - rust.git/log
rust.git
4 years agoAdd tests
Oliver Scherer [Sat, 17 Aug 2019 09:31:09 +0000 (11:31 +0200)]
Add tests

4 years agoCast only where necessary
Oliver Scherer [Sat, 17 Aug 2019 09:29:17 +0000 (11:29 +0200)]
Cast only where necessary

4 years agoDo not generate allocations for zero sized allocations
Oliver Scherer [Fri, 16 Aug 2019 14:05:36 +0000 (16:05 +0200)]
Do not generate allocations for zero sized allocations

4 years agoAuto merge of #63592 - Centril:rollup-7c6dg3e, r=Centril
bors [Thu, 15 Aug 2019 12:35:03 +0000 (12:35 +0000)]
Auto merge of #63592 - Centril:rollup-7c6dg3e, r=Centril

Rollup of 9 pull requests

Successful merges:

 - #63155 (Add UWP MSVC targets)
 - #63165 (Add builtin targets for mips64(el)-unknown-linux-muslabi64)
 - #63306 (Adapt AddRetag for shallow retagging)
 - #63467 (Add Catalyst (iOS apps running on macOS) target)
 - #63546 (Remove uses of `mem::uninitialized()` from cloudabi)
 - #63572 (remove unused Level::PhaseFatal)
 - #63577 (Test HRTB issue accepted by compiler)
 - #63582 (Fix ICE #63226)
 - #63586 (cleanup: Remove `Spanned` where possible)

Failed merges:

r? @ghost

4 years agoRollup merge of #63586 - petrochenkov:nospanned, r=eddyb
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:10 +0000 (14:34 +0200)]
Rollup merge of #63586 - petrochenkov:nospanned, r=eddyb

cleanup: Remove `Spanned` where possible

It generally only makes sense on enums, otherwise it's more convenient to "flatten" it by adding a span field to the struct it wraps.

4 years agoRollup merge of #63582 - JohnTitor:fix-ice-63226, r=oli-obk
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:08 +0000 (14:34 +0200)]
Rollup merge of #63582 - JohnTitor:fix-ice-63226, r=oli-obk

Fix ICE #63226

Fixes #63226

r? @oli-obk

4 years agoRollup merge of #63577 - meffij:test-hrtb, r=alexcrichton
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:07 +0000 (14:34 +0200)]
Rollup merge of #63577 - meffij:test-hrtb, r=alexcrichton

Test HRTB issue accepted by compiler

Hi! First Rust PR, so if anything needs changing just let me know and I'll take care of it right away.

Closes #50301 which was marked E-needstest

4 years agoRollup merge of #63572 - matklad:no-phase-fatal, r=estebank
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:05 +0000 (14:34 +0200)]
Rollup merge of #63572 - matklad:no-phase-fatal, r=estebank

remove unused Level::PhaseFatal

r? @estebank

4 years agoRollup merge of #63546 - lzutao:clouldabi-maybeuninit, r=RalfJung
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:04 +0000 (14:34 +0200)]
Rollup merge of #63546 - lzutao:clouldabi-maybeuninit, r=RalfJung

Remove uses of `mem::uninitialized()` from cloudabi

This PR removes uses of `mem::uninitialized` from `cloudabi` module,
excluding the layout test in `src/libstd/sys/cloudabi/abi/cloudabi.rs`.

r? @RalfJung
cc @EdSchouten
cc #62397

4 years agoRollup merge of #63467 - terhechte:support-ios-catalyst-macabi-target-triple, r=estebank
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:02 +0000 (14:34 +0200)]
Rollup merge of #63467 - terhechte:support-ios-catalyst-macabi-target-triple, r=estebank

Add Catalyst (iOS apps running on macOS) target

This is a first attempt of adding support for the new [Apple Catalyst](https://developer.apple.com/ipad-apps-for-mac/) target (i.e. running iOS apps on macOS). Currently, `rustc` supports the iOS and iOS simulator targets for iOS:
- iOS: ARM cpu, iOS SDK, linked agains the iOS ABI
- Simulator: X86_64 cpu, iOS SDK, linked against the iOS ABI

Apple Catalyst will add an additional target:
- Macabi: X86_64 CPU, iOS SDK, linked again the macOS ABI.

Note, it the actual SDK is the also the macOS 10.15 SDK, but the symbols are the iOS SDK symbols as they were added to macOS with 10.15.

I've collected additional information via links in the open question sections below. This is way out of my comfort zone so please excuse whatever errors I may have made.

# Open Questions:

## Clang Version
It seems to me that `macabi` has not been merged into `clang` yet, I don't know whether that is a requirement rustc to compile, or if it is sufficient if the Clang that is used on a developers system is the correct one supporting macabi (that comes with current Xcode)

## Hardcoded iOS version

`swift-llvm` actually used [x86_64-apple-ios13.0-macabi](https://github.com/apple/swift-llvm/commit/3f1fd4f46a8e82cee6fffb284ee46daf8ddf66ae) as the target triple which hard-codes the current iOS version. A post on stackoverflow [points out that `MIN_IOS_VERSION` and `MIN_OSX_VERSION` should be used when compiling C code for clang (`-target x86_64-apple-ios${MIN_IOS_VERSION}-macabi`)](https://stackoverflow.com/questions/56487645/how-to-compile-a-3rd-party-library-to-be-used-with-uikit-for-mac-catalyst). However, I wasn't entirely sure how to do that in this PR. Pointers welcome.

## Data Layout
I'm probably using the wrong data-layout. I don't know whether it should be the macOS version or the iOS version. This is probably easier to answer for somebody who understands these things much better than me. I just copied the iOS Simulator X86_64 version as it seems to be (based on what I understand) that Catalyst is just the simulator target build against a different SDK.

# Current State
1. I got it to compile
2. I could successfully compile a `macabi` `libcore` via `cargo build --target x86_64-apple-ios-macabi`

I'm not sure what needs to be done next. Supposedly I need to compile everything into a toolchain somehow that I can then test via `rustup` to make sure that a binary compiled against the toolchain also works with Catalyst. [I read this article, but I'm still lost](https://www.reddit.com/r/rust/comments/5ag60z/how_do_i_bootstrap_rust_to_crosscompile_for_a_new/d9gicr2/) and would love pointers what to do next here.

# Additional Information
- [Commit adding Catalyst support to the Swift Clang Fork](https://github.com/CocoaPods/CocoaPods/issues/8877)
- [Compiling C to Catalyst Discussion](https://github.com/CocoaPods/CocoaPods/issues/8877)
- [CocoaPods Discussion on Adding Catalyst support](https://github.com/CocoaPods/CocoaPods/issues/8877)

4 years agoRollup merge of #63306 - RalfJung:retag, r=varkor
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:01 +0000 (14:34 +0200)]
Rollup merge of #63306 - RalfJung:retag, r=varkor

Adapt AddRetag for shallow retagging

With https://github.com/rust-lang/miri/pull/872, Miri only retags "bare" references, not those nested in compound types. This adjust `Retag` statement generation to don't emit retags if they are definitely not a bare reference.

I also expanded the mir-opt test to cover the `Retag` in the drop shim, which had previously not been tested.

4 years agoRollup merge of #63165 - xen0n:mips64-musl-targets, r=alexcrichton
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:34:00 +0000 (14:34 +0200)]
Rollup merge of #63165 - xen0n:mips64-musl-targets, r=alexcrichton

Add builtin targets for mips64(el)-unknown-linux-muslabi64

This is prerequisite for rust-lang/libc#1449.

Tested locally to produce working static and dynamic binaries, ~~but CI config is untested for now~~ CI is to be added in a follow-up PR.

*edit: dynamic binaries also confirmed working!*

*edit 2: changed triples to include ABI, and removed stray `crt_static_default = false` declarations to be consistent with other musl targets*

4 years agoRollup merge of #63155 - mfkl:uwp-msvc, r=alexcrichton
Mazdak Farrokhzad [Thu, 15 Aug 2019 12:33:58 +0000 (14:33 +0200)]
Rollup merge of #63155 - mfkl:uwp-msvc, r=alexcrichton

Add UWP MSVC targets

Hi,

- The README URI change is the correct one for VS2019 community edition, which I suspect most people would use. Doesn't _need_ to be merged though.
- This https://github.com/rust-lang/rust/commit/5e6619edd1a3b5c3f85438166d4d32af49f800fd fixes the UWP build (msvc or not, doesn't matter). I suspect it broke with recent changes unnoticed because no CI.
- Store lib location is found through the VCToolsInstallDir env variable. The end of the path is currently for the VS2019 store lib locations only.
- I could not test the aarch64_uwp_windows_msvc target because the rust build script does not currently support arm64 msvc AFAIU.

4 years agoignore tests on wasm32-bare
Ralf Jung [Thu, 15 Aug 2019 10:54:56 +0000 (12:54 +0200)]
ignore tests on wasm32-bare

4 years agotest Retag in drop shim
Ralf Jung [Mon, 5 Aug 2019 20:27:00 +0000 (22:27 +0200)]
test Retag in drop shim

4 years agodon't add Retag statements for compound types
Ralf Jung [Sun, 4 Aug 2019 17:59:59 +0000 (19:59 +0200)]
don't add Retag statements for compound types

4 years agoRemove `Spanned` from `{ast,hir}::FieldPat`
Vadim Petrochenkov [Wed, 14 Aug 2019 23:35:36 +0000 (02:35 +0300)]
Remove `Spanned` from `{ast,hir}::FieldPat`

4 years agoRemove uses of `mem::uninitialized()` from cloudabi
Lzu Tao [Wed, 14 Aug 2019 04:39:21 +0000 (04:39 +0000)]
Remove uses of `mem::uninitialized()` from cloudabi

4 years agoRemove `Spanned` from `ast::Mac`
Vadim Petrochenkov [Wed, 14 Aug 2019 23:13:53 +0000 (02:13 +0300)]
Remove `Spanned` from `ast::Mac`

4 years agoRemove `Spanned` from `mk_name_value_item_str` and `expr_to_spanned_string`
Vadim Petrochenkov [Wed, 14 Aug 2019 22:56:44 +0000 (01:56 +0300)]
Remove `Spanned` from `mk_name_value_item_str` and `expr_to_spanned_string`

4 years agoUse is_const()
Yuki Okushi [Thu, 15 Aug 2019 08:33:21 +0000 (17:33 +0900)]
Use is_const()

4 years agoAdjust regression test
Yuki Okushi [Thu, 15 Aug 2019 07:59:03 +0000 (16:59 +0900)]
Adjust regression test

4 years agoUse a match guard to avoid code repetition
Yuki Okushi [Thu, 15 Aug 2019 07:58:43 +0000 (16:58 +0900)]
Use a match guard to avoid code repetition

4 years agoCheck FnHeader not to cause ICE
Yuki Okushi [Thu, 15 Aug 2019 04:56:57 +0000 (13:56 +0900)]
Check FnHeader not to cause ICE

4 years agoAuto merge of #62429 - cuviper:iter-closures, r=cramertj
bors [Thu, 15 Aug 2019 04:24:29 +0000 (04:24 +0000)]
Auto merge of #62429 - cuviper:iter-closures, r=cramertj

Reduce the genericity of closures in the iterator traits

By default, closures inherit the generic parameters of their scope,
including `Self`. However, in most cases, the closures used to implement
iterators don't need to be generic on the iterator type, only its `Item`
type. We can reduce this genericity by redirecting such closures through
local functions.

This does make the closures more cumbersome to write, but it will
hopefully reduce duplication in their monomorphizations, as well as
their related type lengths.

4 years agoAuto merge of #63575 - Centril:rollup-anlv9g5, r=Centril
bors [Thu, 15 Aug 2019 00:32:05 +0000 (00:32 +0000)]
Auto merge of #63575 - Centril:rollup-anlv9g5, r=Centril

Rollup of 11 pull requests

Successful merges:

 - #62984 (Add lint for excess trailing semicolons)
 - #63075 (Miri: Check that a ptr is aligned and inbounds already when evaluating `*`)
 - #63490 (libsyntax: cleanup and refactor `pat.rs`)
 - #63507 (When needing type annotations in local bindings, account for impl Trait and closures)
 - #63509 (Point at the right enclosing scope when using `await` in non-async fn)
 - #63528 (syntax: Remove `DummyResult::expr_only`)
 - #63537 (expand: Unimplement `MutVisitor` on `MacroExpander`)
 - #63542 (Add NodeId for Arm, Field and FieldPat)
 - #63543 (Merge Variant and Variant_)
 - #63560 (move test that shouldn't be in test/run-pass/)
 - #63570 (Adjust tracking issues for `MaybeUninit<T>` gates)

Failed merges:

r? @ghost

4 years agoTest HRTB issue accepted by compiler
nivlac [Wed, 14 Aug 2019 21:31:54 +0000 (14:31 -0700)]
Test HRTB issue accepted by compiler

4 years agoRollup merge of #63570 - rust-lang:maybe-uninit-gates, r=RalfJung
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:32 +0000 (22:56 +0200)]
Rollup merge of #63570 - rust-lang:maybe-uninit-gates, r=RalfJung

Adjust tracking issues for `MaybeUninit<T>` gates

cc #63566  #63567 #63568 #63569

r? @RalfJung

4 years agoRollup merge of #63560 - Centril:mv-generator-test, r=petrochenkov
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:31 +0000 (22:56 +0200)]
Rollup merge of #63560 - Centril:mv-generator-test, r=petrochenkov

move test that shouldn't be in test/run-pass/

We no longer test `src/test/run-pass/`; the proper way now is `// run-pass` in `src/test/ui/`

r? @petrochenkov

4 years agoRollup merge of #63543 - c410-f3r:variant, r=c410-f3r
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:29 +0000 (22:56 +0200)]
Rollup merge of #63543 - c410-f3r:variant, r=c410-f3r

Merge Variant and Variant_

Extracted from #63468.

4 years agoRollup merge of #63542 - c410-f3r:node_ids, r=petrochenkov
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:28 +0000 (22:56 +0200)]
Rollup merge of #63542 - c410-f3r:node_ids, r=petrochenkov

Add NodeId for Arm, Field and FieldPat

Extracted from #63468

4 years agoRollup merge of #63537 - petrochenkov:novisit, r=alexcrichton
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:27 +0000 (22:56 +0200)]
Rollup merge of #63537 - petrochenkov:novisit, r=alexcrichton

expand: Unimplement `MutVisitor` on `MacroExpander`

Each call to `fully_expand_fragment` is something unique, interesting, and requiring attention.
It represents a "root" of expansion and its use means that something unusual is happening, like eager expansion or expansion performed outside of the primary expansion pass.
So, it shouldn't hide under a generic visitor call.

Also, from all the implemented visitor methods only two were actually used.

cc https://github.com/rust-lang/rust/pull/63468#discussion_r313504119

4 years agoRollup merge of #63528 - petrochenkov:anyany, r=estebank
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:25 +0000 (22:56 +0200)]
Rollup merge of #63528 - petrochenkov:anyany, r=estebank

syntax: Remove `DummyResult::expr_only`

The effect is that if a built-in macro both returns an erroneous AST fragment and is used in unexpected position, then the incorrect position error won't be reported.

This combination of two errors should be rare and isn't worth an extra field that makes people ask questions in comments.
(There wasn't even a test making sure it worked.)

Addresses https://github.com/rust-lang/rust/pull/63468#discussion_r313504644
r? @estebank

4 years agoRollup merge of #63509 - estebank:async-span, r=Centril
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:24 +0000 (22:56 +0200)]
Rollup merge of #63509 - estebank:async-span, r=Centril

Point at the right enclosing scope when using `await` in non-async fn

Fix #63398.

4 years agoRollup merge of #63507 - estebank:type-inference-error, r=Centril
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:22 +0000 (22:56 +0200)]
Rollup merge of #63507 - estebank:type-inference-error, r=Centril

When needing type annotations in local bindings, account for impl Trait and closures

Fix https://github.com/rust-lang/rust/issues/46680, fix https://github.com/rust-lang/rust/issues/63504, fix https://github.com/rust-lang/rust/issues/63506, fix #40014, cc https://github.com/rust-lang/rust/issues/63502.

4 years agoRollup merge of #63490 - Centril:cleanup-pat-parser, r=petrochenkov
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:21 +0000 (22:56 +0200)]
Rollup merge of #63490 - Centril:cleanup-pat-parser, r=petrochenkov

libsyntax: cleanup and refactor `pat.rs`

A smaller refactoring & cleanup of `pat.rs` (best read commit by commit).

r? @petrochenkov

4 years agoRollup merge of #63075 - RalfJung:deref-checks, r=oli-obk
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:20 +0000 (22:56 +0200)]
Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obk

Miri: Check that a ptr is aligned and inbounds already when evaluating `*`

This syncs Miri with what the Nomicon and the Reference say, and resolves https://github.com/rust-lang/miri/issues/447.

Also this would not have worked without https://github.com/rust-lang/rust/pull/62982 due to new cycles. ;)

r? @oli-obk

4 years agoRollup merge of #62984 - nathanwhit:extra_semi_lint, r=varkor
Mazdak Farrokhzad [Wed, 14 Aug 2019 20:56:18 +0000 (22:56 +0200)]
Rollup merge of #62984 - nathanwhit:extra_semi_lint, r=varkor

Add lint for excess trailing semicolons

Closes #60876.
A caveat (not necessarily a negative, but something to consider) with this implementation is that excess semicolons after return/continue/break now also cause an 'unreachable statement' warning.

For the following example:
```
fn main() {
    extra_semis();
}
fn extra_semis() -> i32 {
    let mut sum = 0;;;
    for i in 0..10 {
        if i == 5 {
            continue;;
        } else if i == 9 {
            break;;
        } else {
            sum += i;;
        }
    }
    return sum;;
}
```
The output is:
```
warning: unnecessary trailing semicolons
 --> src/main.rs:5:21
  |
5 |     let mut sum = 0;;;
  |                     ^^ help: remove these semicolons
  |
  = note: `#[warn(redundant_semicolon)]` on by default

warning: unnecessary trailing semicolon
 --> src/main.rs:8:22
  |
8 |             continue;;
  |                      ^ help: remove this semicolon

warning: unnecessary trailing semicolon
  --> src/main.rs:10:19
   |
10 |             break;;
   |                   ^ help: remove this semicolon

warning: unnecessary trailing semicolon
  --> src/main.rs:12:22
   |
12 |             sum += i;;
   |                      ^ help: remove this semicolon

warning: unnecessary trailing semicolon
  --> src/main.rs:15:16
   |
15 |     return sum;;
   |                ^ help: remove this semicolon

warning: unreachable statement
 --> src/main.rs:8:22
  |
8 |             continue;;
  |                      ^
  |
  = note: `#[warn(unreachable_code)]` on by default

warning: unreachable statement
  --> src/main.rs:10:19
   |
10 |             break;;
   |                   ^

warning: unreachable statement
  --> src/main.rs:15:16
   |
15 |     return sum;;
   |                ^

```

4 years agoAuto merge of #63534 - Mark-Simulacrum:stage0-bump, r=Centril
bors [Wed, 14 Aug 2019 20:49:07 +0000 (20:49 +0000)]
Auto merge of #63534 - Mark-Simulacrum:stage0-bump, r=Centril

Bump to 1.39

r? @Centril

4 years agoremove unused Level::PhaseFatal
Aleksey Kladov [Wed, 14 Aug 2019 19:22:46 +0000 (22:22 +0300)]
remove unused Level::PhaseFatal

4 years agoreview comments
Esteban Küber [Wed, 14 Aug 2019 19:14:25 +0000 (12:14 -0700)]
review comments

4 years agoAdjust tracking issues for `MaybeUninit<T>` gates
Mazdak Farrokhzad [Wed, 14 Aug 2019 18:07:37 +0000 (20:07 +0200)]
Adjust tracking issues for `MaybeUninit<T>` gates

4 years agoMerge Variant and Variant_
Caio [Wed, 14 Aug 2019 00:40:21 +0000 (21:40 -0300)]
Merge Variant and Variant_

4 years agomove test that shouldn't be in test/run-pass/
Mazdak Farrokhzad [Wed, 14 Aug 2019 16:04:33 +0000 (18:04 +0200)]
move test that shouldn't be in test/run-pass/

4 years agoUpdate error-format to match new Cargo flags for pipelining
Alex Crichton [Mon, 12 Aug 2019 18:49:12 +0000 (14:49 -0400)]
Update error-format to match new Cargo flags for pipelining

4 years agoDisable --cfg bootstrap in libcore
Mark Rousskov [Mon, 12 Aug 2019 23:42:41 +0000 (19:42 -0400)]
Disable --cfg bootstrap in libcore

This is needed to permit us building core_arch which is a submodule dep
(so we can't snap it to the new beta compiler).

4 years agoHandle cfg(bootstrap) throughout
Mark Rousskov [Sun, 11 Aug 2019 16:55:14 +0000 (12:55 -0400)]
Handle cfg(bootstrap) throughout

4 years agoAuto merge of #63544 - Centril:rollup-qhqfcov, r=Centril
bors [Wed, 14 Aug 2019 07:08:50 +0000 (07:08 +0000)]
Auto merge of #63544 - Centril:rollup-qhqfcov, r=Centril

Rollup of 17 pull requests

Successful merges:

 - #62760 (Deduplicate error messages in `librsctc_mir`)
 - #62849 (typeck: Prohibit RPIT types that inherit lifetimes)
 - #63383 (`async fn` lifetime elision tests)
 - #63421 (Implement Clone, Display for ascii::EscapeDefault)
 - #63459 (syntax: account for CVarArgs being in the argument list.)
 - #63475 (Bring back suggestion for splitting `<-` into `< -`)
 - #63485 (ci: move mirrors to their standalone bucket)
 - #63486 (Document `From` trait for `BinaryHeap`)
 - #63488 (improve DiagnosticBuilder docs)
 - #63493 (Remove unneeded comment in src/libcore/hash/mod.rs)
 - #63499 (handle elision in async fn correctly)
 - #63501 (use `ParamName` to track in-scope lifetimes instead of Ident)
 - #63508 (Do not ICE when synthesizing spans falling inside unicode chars)
 - #63511 (ci: add a check for clock drift)
 - #63512 (Provide map_ok and map_err method for Poll<Option<Result<T, E>>>)
 - #63529 (RELEASES.md: ? is one of three Kleene operators)
 - #63530 (Fix typo in error message.)

Failed merges:

r? @ghost

4 years agoRollup merge of #63530 - ehuss:typo-statemement, r=centril
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:57 +0000 (04:18 +0200)]
Rollup merge of #63530 - ehuss:typo-statemement, r=centril

Fix typo in error message.

4 years agoRollup merge of #63529 - andersk:release-notes-kleene, r=Centril
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:55 +0000 (04:18 +0200)]
Rollup merge of #63529 - andersk:release-notes-kleene, r=Centril

RELEASES.md: ? is one of three Kleene operators

The slash and quotes in ?/“Kleene” appeared to define “Kleene” as the name for the `?` operator, which is not the case. Rust has three Kleene operators `*`, `+`, `?`.

([Pointed out](https://www.reddit.com/r/rust/comments/cprt0z/rust_1370_prerelease_testing/ewr90y3/) by /u/Sharlinator on Reddit.)

4 years agoRollup merge of #63512 - 95th:master, r=cramertj
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:54 +0000 (04:18 +0200)]
Rollup merge of #63512 - 95th:master, r=cramertj

Provide map_ok and map_err method for Poll<Option<Result<T, E>>>

Currently `map_ok` and `map_err` methods are given for `Poll<Result<T, E>>`.

This PR adds these methods for `Poll<Option<Result<T, E>>>` as they are helpful in stream building code.

4 years agoRollup merge of #63511 - pietroalbini:pa-ci-date, r=Mark-Simulacrum
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:52 +0000 (04:18 +0200)]
Rollup merge of #63511 - pietroalbini:pa-ci-date, r=Mark-Simulacrum

ci: add a check for clock drift

Recently we encountered multiple spurious failures where the crates.io
certificate was reported as expired, even though it's currently due to
expire in a few months. This adds some code to our CI to check for clock
drifts, to possibly find the cause or rule out a bad VM clock.

cc https://github.com/rust-lang/rust/issues/63510
r? @Mark-Simulacrum

4 years agoRollup merge of #63508 - estebank:compromice, r=petrochenkov
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:51 +0000 (04:18 +0200)]
Rollup merge of #63508 - estebank:compromice, r=petrochenkov

Do not ICE when synthesizing spans falling inside unicode chars

Fix https://github.com/rust-lang/rust/issues/61226.

4 years agoRollup merge of #63501 - nikomatsakis:issue-63500-async-anon-impl-lifetime, r=cramertj
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:49 +0000 (04:18 +0200)]
Rollup merge of #63501 - nikomatsakis:issue-63500-async-anon-impl-lifetime, r=cramertj

use `ParamName` to track in-scope lifetimes instead of Ident

Also, clear in-scope lifetimes when visiting nested items.

Fixes #63500.
Fixes #63225.
Fixes #52532.

r? @cramertj

4 years agoRollup merge of #63499 - nikomatsakis:issuee-63388-async-fn-elision-self-mut-self...
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:48 +0000 (04:18 +0200)]
Rollup merge of #63499 - nikomatsakis:issuee-63388-async-fn-elision-self-mut-self, r=cramertj

handle elision in async fn correctly

We now always make fresh lifetimne parameters for all elided
lifetimes, whether they are in the inputs or outputs. But then
we generate `'_` in the case of elided lifetimes from the outputs.

Example:

```rust
async fn foo<'a>(x: &'a u32) -> &u32 { .. }
```

becomes

```rust
type Foo<'a, 'b> = impl Future<Output = &'b u32>;
fn foo<'a>(x: &'a u32) -> Foo<'a, '_>
```

Fixes #63388

4 years agoRollup merge of #63493 - sd234678:remove-unneeded-comment-from-src/libcore/hash,...
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:47 +0000 (04:18 +0200)]
Rollup merge of #63493 - sd234678:remove-unneeded-comment-from-src/libcore/hash, r=Centril

Remove unneeded comment in src/libcore/hash/mod.rs

Split out from larger PR #63347 - other sections in there require further discussion.

r? @Centril

4 years agoRollup merge of #63488 - RalfJung:diagnostic-docs, r=zackmdavis
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:45 +0000 (04:18 +0200)]
Rollup merge of #63488 - RalfJung:diagnostic-docs, r=zackmdavis

improve DiagnosticBuilder docs

Cc @estebank @oli-obk

Is there any way to do something like `span_note` but with a label attached to the span? I thought `.span_note().span_label()` would do it, but no, that does not work.

4 years agoRollup merge of #63486 - Observer42:document-from-trait-in-binaryheap, r=Centril
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:44 +0000 (04:18 +0200)]
Rollup merge of #63486 - Observer42:document-from-trait-in-binaryheap, r=Centril

Document `From` trait for `BinaryHeap`

This PR solves part of #51430. (cc @skade)

The comments described allocation and time complexity of the conversion from Vec to BinaryHeap

The complexity description of BinaryHeap operations is available at mod level:
https://doc.rust-lang.org/alloc/collections/binary_heap/index.html

But it doesn't show up at BinaryHeap page:
https://doc.rust-lang.org/alloc/collections/binary_heap/struct.BinaryHeap.html

4 years agoRollup merge of #63485 - pietroalbini:new-mirror-bucket, r=alexcrichton
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:43 +0000 (04:18 +0200)]
Rollup merge of #63485 - pietroalbini:new-mirror-bucket, r=alexcrichton

ci: move mirrors to their standalone bucket

Currently mirrors are stored in the rust-lang-ci2 S3 bucket along with
CI toolchains. This is problematic for multiple reasons:

- CI IAM credentials are allowed to both edit and delete those files.
  A malicious user gaining access to those credentials would be able to
  change our mirrored dependencies, possibly compromising the compiler.

- Contents of the rust-lang-ci2 bucket are disposable except for the
  mirrors' content. When we implement backups for S3 buckets we'd have
  to replicate just that part of the bucket, complicating the backup
  logic and increasing the chance of mistakes. A standalone bucket will
  be way easier to backup.

This commit switches our CI to use the new rust-lang-ci-mirrors bucket.

r? @alexcrichton

4 years agoRollup merge of #63475 - iluuu1994:issue-62632, r=Centril
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:42 +0000 (04:18 +0200)]
Rollup merge of #63475 - iluuu1994:issue-62632, r=Centril

Bring back suggestion for splitting `<-` into `< -`

Closes #62632

4 years agoRollup merge of #63459 - eddyb:issue-63430, r=petrochenkov
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:40 +0000 (04:18 +0200)]
Rollup merge of #63459 - eddyb:issue-63430, r=petrochenkov

syntax: account for CVarArgs being in the argument list.

Fixes #63430 by testing for `1` argument (the `CVarArgs` itself) instead of `0`.

Note that the error has basically been impossible to trigger since the change that caused #63430, so perhaps we need an audit of untested errors.

Also, this check probably belongs in AST validation/HIR lowering, but I'd rather fix it in place for now.

r? @petrochenkov cc @dlrobertson

4 years agoRollup merge of #63421 - clarfon:escape_default, r=dtolnay
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:39 +0000 (04:18 +0200)]
Rollup merge of #63421 - clarfon:escape_default, r=dtolnay

Implement Clone, Display for ascii::EscapeDefault

This will mimic the same behaviour as the `char` version; `Display`ing the iterator will give its string representation without advancing it.

4 years agoRollup merge of #63383 - Centril:async-lifetime-elision-tests, r=nikomatsakis
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:37 +0000 (04:18 +0200)]
Rollup merge of #63383 - Centril:async-lifetime-elision-tests, r=nikomatsakis

`async fn` lifetime elision tests

Add `async fn` version of the tests in https://github.com/rust-lang/rust/pull/61207 per the first checkbox in https://github.com/rust-lang/rust/issues/62121#issuecomment-506884048.
Works towards resolving blockers in https://github.com/rust-lang/rust/pull/63209.

r? @nikomatsakis
cc @cramertj

4 years agoRollup merge of #62849 - davidtwco:prohibit-inheriting-lifetimes, r=nikomatsakis
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:36 +0000 (04:18 +0200)]
Rollup merge of #62849 - davidtwco:prohibit-inheriting-lifetimes, r=nikomatsakis

typeck: Prohibit RPIT types that inherit lifetimes

Part of #61949.

This PR prohibits return position `impl Trait` types that "inherit
lifetimes" from the parent scope. The intent is to forbid cases that are
challenging until they can be addressed properly.

cc @nikomatsakis

4 years agoRollup merge of #62760 - chansuke:dedupe-error-messages, r=zackmdavis
Mazdak Farrokhzad [Wed, 14 Aug 2019 02:18:35 +0000 (04:18 +0200)]
Rollup merge of #62760 - chansuke:dedupe-error-messages, r=zackmdavis

Deduplicate error messages in `librsctc_mir`

Deduplicated the error messages in `librustc_mir`. #62022

4 years agoAdd NodeId for Arm, Field and FieldPat
Caio [Wed, 14 Aug 2019 01:22:51 +0000 (22:22 -0300)]
Add NodeId for Arm, Field and FieldPat

4 years agoSuggest giving return type to closures on E0282
Esteban Küber [Tue, 13 Aug 2019 23:41:43 +0000 (16:41 -0700)]
Suggest giving return type to closures on E0282

4 years agoexpand: Unimplement `MutVisitor` on `MacroExpander`
Vadim Petrochenkov [Tue, 13 Aug 2019 23:30:09 +0000 (02:30 +0300)]
expand: Unimplement `MutVisitor` on `MacroExpander`

Each call to `fully_expand_fragment` is something unique, interesting, and requiring attention.
It represents a "root" of expansion and its use means that something unusual is happening, like eager expansion or expansion performed outside of the primary expansion pass.
So, it shouldn't be hide under a generic visitor call.

Also, from all the implemented visitor methods only two were actually used.

4 years agoexpand: `expand_fragment` -> `fully_expand_fragment`
Vadim Petrochenkov [Tue, 13 Aug 2019 22:59:14 +0000 (01:59 +0300)]
expand: `expand_fragment` -> `fully_expand_fragment`

4 years agoApply Centril's suggestion
Eric Huss [Tue, 13 Aug 2019 22:09:11 +0000 (15:09 -0700)]
Apply Centril's suggestion

Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
4 years agoreview comments
Esteban Küber [Tue, 13 Aug 2019 18:35:49 +0000 (11:35 -0700)]
review comments

4 years agoreview comment: move test
Esteban Küber [Tue, 13 Aug 2019 18:27:00 +0000 (11:27 -0700)]
review comment: move test

4 years agoreview comments
Esteban Küber [Tue, 13 Aug 2019 18:24:08 +0000 (11:24 -0700)]
review comments

4 years agoFix typo in error message.
Eric Huss [Tue, 13 Aug 2019 18:21:09 +0000 (11:21 -0700)]
Fix typo in error message.

4 years agoRELEASES.md: ? is one of three Kleene operators
Anders Kaseorg [Tue, 13 Aug 2019 18:00:32 +0000 (11:00 -0700)]
RELEASES.md: ? is one of three Kleene operators

The slash and quotes in ?/“Kleene” appeared to define “Kleene” as the
name for the ? operator, which is not the case.  Rust has three Kleene
operators *, +, ?.

(Pointed out by /u/Sharlinator on Reddit.)

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
4 years agosyntax: Remove `DummyResult::expn_only`
Vadim Petrochenkov [Tue, 13 Aug 2019 17:51:54 +0000 (20:51 +0300)]
syntax: Remove `DummyResult::expn_only`

4 years agoreview comment: remove unecessary error in test
Esteban Küber [Tue, 13 Aug 2019 16:01:56 +0000 (09:01 -0700)]
review comment: remove unecessary error in test

4 years agobless tests with compare-mode=nll
Niko Matsakis [Tue, 13 Aug 2019 13:13:50 +0000 (09:13 -0400)]
bless tests with compare-mode=nll

4 years agoBump to 1.39
Mark Rousskov [Sun, 11 Aug 2019 16:55:31 +0000 (12:55 -0400)]
Bump to 1.39

4 years agoProvide map_ok and map_err method for Poll<Option<Result<T, E>>>
Gurwinder Singh [Tue, 13 Aug 2019 07:48:48 +0000 (13:18 +0530)]
Provide map_ok and map_err method for Poll<Option<Result<T, E>>>

4 years agoreview feedback: add comments and use local flavor variable
Martin Finkel [Tue, 13 Aug 2019 09:11:35 +0000 (11:11 +0200)]
review feedback: add comments and use local flavor variable

4 years agoci: add a check for clock drift
Pietro Albini [Tue, 13 Aug 2019 07:36:48 +0000 (09:36 +0200)]
ci: add a check for clock drift

Recently we encountered multiple spurious failures where the crates.io
certificate was reported as expired, even though it's currently due to
expire in a few months. This adds some code to our CI to check for clock
drifts, to possibly find the cause or rule out a bad VM clock.

4 years agoPoint at the right enclosing scope when using `await` in non-async fn
Esteban Küber [Tue, 13 Aug 2019 06:56:13 +0000 (23:56 -0700)]
Point at the right enclosing scope when using `await` in non-async fn

4 years agoDo not ICE when synthesizing spans falling inside unicode chars
Esteban Küber [Tue, 13 Aug 2019 06:31:13 +0000 (23:31 -0700)]
Do not ICE when synthesizing spans falling inside unicode chars

4 years agoSuggest `Box::new` when appropriate
Esteban Küber [Tue, 13 Aug 2019 03:22:58 +0000 (20:22 -0700)]
Suggest `Box::new` when appropriate

When encountering a boxed value as expected and a stack allocated value
that could be boxed to fulfill the expectation, like in the following
snippet, suggest `Box::new` wrapping.

4 years agoFix tidy
Esteban Küber [Tue, 13 Aug 2019 01:42:19 +0000 (18:42 -0700)]
Fix tidy

4 years agobless tests
Niko Matsakis [Tue, 13 Aug 2019 01:13:59 +0000 (21:13 -0400)]
bless tests

4 years agoResolve types when suggesting boxed closure
Esteban Küber [Tue, 13 Aug 2019 01:12:19 +0000 (18:12 -0700)]
Resolve types when suggesting boxed closure

4 years agoclear in-scope lifetimes for nested items in HIR lowering
Niko Matsakis [Tue, 13 Aug 2019 01:08:32 +0000 (21:08 -0400)]
clear in-scope lifetimes for nested items in HIR lowering

This was causing us to incorrectly think the lifetimes were
already declared on the scope for the nested item, when in fact
they are not inherited.

4 years agoForce optimization in 32-bit iter overflow tests
Josh Stone [Tue, 13 Aug 2019 00:29:34 +0000 (17:29 -0700)]
Force optimization in 32-bit iter overflow tests

4 years agoWhen needing type annotations in local bindings, account for impl Trait and closures
Esteban Küber [Mon, 12 Aug 2019 23:50:46 +0000 (16:50 -0700)]
When needing type annotations in local bindings, account for impl Trait and closures

Do not suggest nonsensical types when the type inference is failing on
`impl Trait` or anonymous closures.

4 years agofix README.md
Niko Matsakis [Mon, 12 Aug 2019 23:23:21 +0000 (19:23 -0400)]
fix README.md

4 years agorevamp comment
Niko Matsakis [Mon, 12 Aug 2019 23:21:13 +0000 (19:21 -0400)]
revamp comment

4 years agoadd edition to regression test
Niko Matsakis [Mon, 12 Aug 2019 22:33:53 +0000 (18:33 -0400)]
add edition to regression test

4 years agouse `modern` everywhere
Niko Matsakis [Mon, 12 Aug 2019 22:14:48 +0000 (18:14 -0400)]
use `modern` everywhere

4 years agoMove run-pass/iterators/* to ui/iterators/
Josh Stone [Fri, 12 Jul 2019 23:09:03 +0000 (16:09 -0700)]
Move run-pass/iterators/* to ui/iterators/

4 years agoMove run-pass/iter-map-fold-type-length.rs to iterators/
Josh Stone [Fri, 12 Jul 2019 18:54:46 +0000 (11:54 -0700)]
Move run-pass/iter-map-fold-type-length.rs to iterators/

4 years agoReduce genericity in Inspect
Josh Stone [Fri, 12 Jul 2019 01:29:59 +0000 (18:29 -0700)]
Reduce genericity in Inspect

4 years agoReduce genericity in Scan
Josh Stone [Fri, 12 Jul 2019 01:24:12 +0000 (18:24 -0700)]
Reduce genericity in Scan

4 years agoReduce genericity in Take
Josh Stone [Fri, 12 Jul 2019 01:18:47 +0000 (18:18 -0700)]
Reduce genericity in Take