]> git.lizzy.rs Git - rust.git/log
rust.git
3 years agoRollup merge of #78309
Mara Bos [Sat, 24 Oct 2020 09:17:02 +0000 (11:17 +0200)]
Rollup merge of #78309

3 years agoUse own mirror for linux headers in musl-toolchain CI script.
Mara Bos [Sat, 24 Oct 2020 08:48:36 +0000 (10:48 +0200)]
Use own mirror for linux headers in musl-toolchain CI script.

3 years agoFix unsafe operation of wasm32::memory_atomic_notify
chansuke [Sat, 24 Oct 2020 09:14:17 +0000 (18:14 +0900)]
Fix unsafe operation of wasm32::memory_atomic_notify

3 years agoAdd documents for DLMALLOC
chansuke [Sat, 24 Oct 2020 08:59:58 +0000 (17:59 +0900)]
Add documents for DLMALLOC

3 years agoAdd some description for (malloc/calloc/free/realloc)
chansuke [Tue, 20 Oct 2020 23:15:28 +0000 (08:15 +0900)]
Add some description for (malloc/calloc/free/realloc)

3 years ago`#[deny(unsafe_op_in_unsafe_fn)]` in sys/wasm
chansuke [Sat, 18 Jul 2020 12:59:53 +0000 (21:59 +0900)]
`#[deny(unsafe_op_in_unsafe_fn)]` in sys/wasm

3 years agoLoop instead of recursion
Dániel Buga [Fri, 23 Oct 2020 16:11:52 +0000 (18:11 +0200)]
Loop instead of recursion

3 years agoUpdate compiler/rustc_codegen_llvm/src/coverageinfo/mapgen.rs
Rich Kadel [Fri, 23 Oct 2020 21:58:08 +0000 (14:58 -0700)]
Update compiler/rustc_codegen_llvm/src/coverageinfo/mapgen.rs

Co-authored-by: Wesley Wiser <wwiser@gmail.com>
3 years agoFix Ubuntu download URL
Jonas Schievink [Fri, 23 Oct 2020 21:52:06 +0000 (23:52 +0200)]
Fix Ubuntu download URL

3 years agoUpdate Cargo.lock
Eduardo Broto [Fri, 23 Oct 2020 21:47:58 +0000 (23:47 +0200)]
Update Cargo.lock

3 years agoRemove duplicate import of `Target`
Eduardo Broto [Fri, 23 Oct 2020 21:45:37 +0000 (23:45 +0200)]
Remove duplicate import of `Target`

3 years agoRename `Box::alloc` to `Box::alloc_ref`
Tim Diekmann [Fri, 23 Oct 2020 20:45:15 +0000 (22:45 +0200)]
Rename `Box::alloc` to `Box::alloc_ref`

3 years agoMerge commit 'bf1c6f9871f430e284b17aa44059e0d0395e28a6' into clippyup
Eduardo Broto [Fri, 23 Oct 2020 20:16:59 +0000 (22:16 +0200)]
Merge commit 'bf1c6f9871f430e284b17aa44059e0d0395e28a6' into clippyup

3 years agoRevert "Set .llvmbc and .llvmcmd sections as allocatable"
Tyler Mandry [Fri, 23 Oct 2020 19:54:00 +0000 (12:54 -0700)]
Revert "Set .llvmbc and .llvmcmd sections as allocatable"

3 years agoreview comments
Esteban Küber [Fri, 23 Oct 2020 19:51:06 +0000 (12:51 -0700)]
review comments

3 years agoDo not ICE with TraitPredicates containing [type error]
Esteban Küber [Wed, 14 Oct 2020 04:42:59 +0000 (21:42 -0700)]
Do not ICE with TraitPredicates containing [type error]

Fix #77919.

3 years agoAdd a spin loop hint for Arc::downgrade
Nicolas Nattis [Sat, 12 Sep 2020 16:53:30 +0000 (13:53 -0300)]
Add a spin loop hint for Arc::downgrade

3 years agox.py test --test-args flag description enhancement
Nelson J Morais [Thu, 22 Oct 2020 17:36:16 +0000 (18:36 +0100)]
x.py test --test-args flag description enhancement

3 years agoMake codegen coverage_context optional, and check
Rich Kadel [Fri, 23 Oct 2020 18:41:56 +0000 (11:41 -0700)]
Make codegen coverage_context optional, and check

Addresses Issue #78286

Libraries compiled with coverage and linked with out enabling coverage
would fail when attempting to add the library's coverage statements to
the codegen coverage context (None).

Now, if coverage statements are encountered while compiling / linking
with `-Z instrument-coverage` disabled, codegen will *not* attempt to
add code regions to a coverage map, and it will not inject the LLVM
instrprof_increment intrinsic calls.

3 years agoAuto merge of #77015 - davidtwco:check-attr-variant-closure-expr, r=lcnr
bors [Fri, 23 Oct 2020 17:32:04 +0000 (17:32 +0000)]
Auto merge of #77015 - davidtwco:check-attr-variant-closure-expr, r=lcnr

passes: `check_attr` on more targets

This PR modifies `check_attr` so that:

- Enum variants are now checked (some attributes would not have been prohibited on variants previously).
- `check_expr_attributes` and `check_stmt_attributes` are removed as `check_attributes` can perform the same checks. This means that codegen attribute errors aren't shown if there are other errors first (e.g. from other attributes, as shown in `src/test/ui/macros/issue-68060.rs` changes below).

3 years agoAlways store Rustdoc theme when it's changed
nasso [Fri, 23 Oct 2020 16:58:42 +0000 (18:58 +0200)]
Always store Rustdoc theme when it's changed

3 years agoAuto merge of #6206 - ebroto:rustup, r=ebroto
bors [Fri, 23 Oct 2020 16:58:39 +0000 (16:58 +0000)]
Auto merge of #6206 - ebroto:rustup, r=ebroto

Rustup

changelog: none

r? `@ghost`

3 years agofix validation for rustc_allow_const_fn_unstable targets
Florian Warzecha [Fri, 23 Oct 2020 15:54:48 +0000 (17:54 +0200)]
fix validation for rustc_allow_const_fn_unstable targets

The validation was introduced in 3a63bf02998f7b5e040a4b87e049d03ddd144f74
without strict validation of functions, e. g. all function types were
allowed.
Now the validation only allows `const fn`s.

3 years agorename allow_internal_unstable() to rustc_allow_const_fn_unstable() in rustc_mir
Florian Warzecha [Fri, 23 Oct 2020 15:11:08 +0000 (17:11 +0200)]
rename allow_internal_unstable() to rustc_allow_const_fn_unstable() in rustc_mir

Followup rename from 05f4a9a42abbbdb64d3ec4ed0ae6883c10c66e3f,
which introduced `#[rustc_allow_const_fn_unstable]` for `const fn`s.

3 years agoSuggest semicolon removal and boxing when appropriate
Esteban Küber [Fri, 23 Oct 2020 03:02:55 +0000 (20:02 -0700)]
Suggest semicolon removal and boxing when appropriate

3 years agoAdd more `.await` suggestions on E0308
Esteban Küber [Fri, 23 Oct 2020 02:03:36 +0000 (19:03 -0700)]
Add more `.await` suggestions on E0308

3 years agoAdd test case for different `impl Future`s
Esteban Küber [Thu, 22 Oct 2020 18:34:46 +0000 (11:34 -0700)]
Add test case for different `impl Future`s

3 years agoSilence unnecessary `await foo?` knock-down error
Esteban Küber [Thu, 22 Oct 2020 17:51:49 +0000 (10:51 -0700)]
Silence unnecessary `await foo?` knock-down error

3 years agoReview comments: use newtype instead of `bool`
Esteban Küber [Thu, 22 Oct 2020 17:27:40 +0000 (10:27 -0700)]
Review comments: use newtype instead of `bool`

3 years agoAccount for possible boxable `impl Future` in semicolon removal suggestions
Esteban Küber [Thu, 22 Oct 2020 02:43:15 +0000 (19:43 -0700)]
Account for possible boxable `impl Future` in semicolon removal suggestions

3 years agoSuggest semicolon removal on prior match arm
Esteban Küber [Thu, 22 Oct 2020 02:08:28 +0000 (19:08 -0700)]
Suggest semicolon removal on prior match arm

3 years agoTweak "use `.await`" suggestion
Esteban Küber [Wed, 21 Oct 2020 21:25:09 +0000 (14:25 -0700)]
Tweak "use `.await`" suggestion

3 years agoignore #[rustc_allow_const_fn_unstable] for macro expansion
Florian Warzecha [Fri, 23 Oct 2020 14:54:25 +0000 (16:54 +0200)]
ignore #[rustc_allow_const_fn_unstable] for macro expansion

Recognition for `rustc_allow_const_fn_unstable` attribute was errorneously
added in 05f4a9a42abbbdb64d3ec4ed0ae6883c10c66e3f.

3 years agoreview
Bastian Kauschke [Fri, 23 Oct 2020 13:04:12 +0000 (15:04 +0200)]
review

3 years agoMerge remote-tracking branch 'upstream/master' into rustup
Eduardo Broto [Fri, 23 Oct 2020 12:37:17 +0000 (14:37 +0200)]
Merge remote-tracking branch 'upstream/master' into rustup

3 years agomove `visit_predicate` into `TypeVisitor`
Bastian Kauschke [Fri, 23 Oct 2020 11:58:32 +0000 (13:58 +0200)]
move `visit_predicate` into `TypeVisitor`

3 years agoBump backtrace-rs to enable Mach-O support on iOS.
Tim [Fri, 23 Oct 2020 11:47:09 +0000 (13:47 +0200)]
Bump backtrace-rs to enable Mach-O support on iOS.

3 years agoUpdate description of Empty Enum for accuracy
Eduardo Pinho [Fri, 23 Oct 2020 11:13:07 +0000 (12:13 +0100)]
Update description of Empty Enum for accuracy

An empty enum is similar to the never type `!`, rather than the unit type `()`.

3 years agoconst_eval_checked: deal with unused nodes + div
Bastian Kauschke [Fri, 23 Oct 2020 10:13:44 +0000 (12:13 +0200)]
const_eval_checked: deal with unused nodes + div

3 years agoadd tracking issue number to option_insert feature gate
Canop [Fri, 23 Oct 2020 09:44:58 +0000 (11:44 +0200)]
add tracking issue number to option_insert feature gate

3 years agoUpdate library/core/src/option.rs
Canop [Fri, 23 Oct 2020 09:09:15 +0000 (11:09 +0200)]
Update library/core/src/option.rs

Co-authored-by: Ivan Tham <pickfire@riseup.net>
3 years agoUpdate library/core/src/option.rs
Canop [Fri, 23 Oct 2020 09:08:09 +0000 (11:08 +0200)]
Update library/core/src/option.rs

Co-authored-by: Mara Bos <m-ou.se@m-ou.se>
3 years agofix naming unconsistency between function doc and prototype
Canop [Sat, 3 Oct 2020 08:29:11 +0000 (10:29 +0200)]
fix naming unconsistency between function doc and prototype

3 years agomore tests in option.insert, code cleaning in option
Canop [Thu, 1 Oct 2020 14:05:01 +0000 (16:05 +0200)]
more tests in option.insert, code cleaning in option

Code cleaning made according to suggestions in discussion
on PR ##77392 impacts insert, get_or_insert and get_or_insert_with.

3 years agoremove `option.insert_with`
Canop [Thu, 1 Oct 2020 11:24:33 +0000 (13:24 +0200)]
remove `option.insert_with`

`option.insert` covers both needs anyway, `insert_with` is
redundant.

3 years agoadd `insert` and `insert_with` to `Option`
Canop [Thu, 1 Oct 2020 09:13:38 +0000 (11:13 +0200)]
add `insert` and `insert_with` to `Option`

This removes a cause of `unwrap` and code complexity.

This allows replacing

```
option_value = Some(build());
option_value.as_mut().unwrap()
```

with

```
option_value.insert(build())
```

or

```
option_value.insert_with(build)
```

It's also useful in contexts not requiring the mutability of the reference.

Here's a typical cache example:

```
let checked_cache = cache.as_ref().filter(|e| e.is_valid());
let content = match checked_cache {
Some(e) => &e.content,
None => {
    cache = Some(compute_cache_entry());
    // unwrap is OK because we just filled the option
    &cache.as_ref().unwrap().content
}
};
```

It can be changed into

```
let checked_cache = cache.as_ref().filter(|e| e.is_valid());
let content = match checked_cache {
Some(e) => &e.content,
None => &cache.insert_with(compute_cache_entry).content,
};
```

3 years agoAuto merge of #78270 - JohnTitor:rollup-bldrjh5, r=JohnTitor
bors [Fri, 23 Oct 2020 09:31:44 +0000 (09:31 +0000)]
Auto merge of #78270 - JohnTitor:rollup-bldrjh5, r=JohnTitor

Rollup of 17 pull requests

Successful merges:

 - #77268 (Link to "Contributing to Rust" rather than "Getting Started".)
 - #77339 (Implement TryFrom between NonZero types.)
 - #77488 (Mark `repr128` as `incomplete_features`)
 - #77890 (Fixing escaping to ensure generation of welformed json.)
 - #77918 (Cleanup network tests)
 - #77920 (Avoid extraneous space between visibility kw and ident for statics)
 - #77969 (Doc formating consistency between slice sort and sort_unstable, and big O notation consistency)
 - #78098 (Clean up and improve some docs)
 - #78116 (Make inline const work in range patterns)
 - #78153 (Sync LLVM submodule if it has been initialized)
 - #78163 (Clean up lib docs)
 - #78169 (Update cargo)
 - #78231 (Make closures inherit the parent function's target features)
 - #78235 (Explain where the closure return type was inferred)
 - #78255 (Reduce diagram mess in 'match arms have incompatible types' error)
 - #78263 (Add regression test of issue-77668)
 - #78265 (Add some inference-related regression tests about incorrect diagnostics)

Failed merges:

r? `@ghost`

3 years agoRollup merge of #78265 - JohnTitor:type-iference-diag-test, r=lcnr
Yuki Okushi [Fri, 23 Oct 2020 09:26:44 +0000 (18:26 +0900)]
Rollup merge of #78265 - JohnTitor:type-iference-diag-test, r=lcnr

Add some inference-related regression tests about incorrect diagnostics

Closes #71732
Closes #72616

3 years agoRollup merge of #78263 - JohnTitor:mir-opt-ice-test, r=lcnr
Yuki Okushi [Fri, 23 Oct 2020 09:26:42 +0000 (18:26 +0900)]
Rollup merge of #78263 - JohnTitor:mir-opt-ice-test, r=lcnr

Add regression test of issue-77668

Closes #77668

3 years agoRollup merge of #78255 - dtolnay:match, r=lcnr
Yuki Okushi [Fri, 23 Oct 2020 09:26:40 +0000 (18:26 +0900)]
Rollup merge of #78255 - dtolnay:match, r=lcnr

Reduce diagram mess in 'match arms have incompatible types' error

I noticed this wild diagram in https://twitter.com/a_hoverbear/status/1318960787105353728 which I think does not benefit from the big outer vertical span.

This PR shrinks the outer span to cover just the `match` keyword and scrutinee expression *if* at least one of the highlighted match arms involved in the error is multiline.

**Before:**

<pre>
<b>error[E0308]: `match` arms have incompatible types</b>
   <b>--&gt;</b> src/topology/builder.rs:141:35
    <b>|</b>
<b>120 |</b>             let transform = match transform {
    <b>|    _________________________-</b>
<b>121 |   |</b>             Transform::Function(t) =&gt; {
    <b>|  _|_______________________________________-</b>
<b>122 | | |</b>                 filter_event_type(input_rx, input_type).compat().flat_map(|v| {
<b>123 | | |</b>                     futures::stream::iter(match v {
<b>124 | | |</b>                         Err(e) =&gt; {
<b>...   | |</b>
<b>139 | | |</b>                 .compat();
<b>140 | | |</b>             }
    <b>| |_|_____________- this is found to be of type `()`</b>
<b>141 |   |</b>             Transform::Task(t) =&gt; t
    <b>|  _|___________________________________^</b>
<b>142 | | |</b>                 .transform(filter_event_type(input_rx, input_type))
<b>143 | | |</b>                 .forward(output)
<b>144 | | |</b>                 .map(|_| debug!("Finished"))
<b>145 | | |</b>                 .compat(),
    <b>| |_|_________________________^ expected `()`, found struct `futures::compat::Compat01As03`</b>
<b>146 |   |</b>         };
    <b>|   |_________- `match` arms have incompatible types</b>
    <b>|</b>
    <b>= note:</b> expected type `<b>()</b>`
             found struct `<b>futures::compat::Compat01As03&lt;futures::Map&lt;futures::stream::Forward&lt;std::boxed::Box&lt;dyn futures::Stream&lt;Error = (), Item = event::Event&gt; + std::marker::Send&gt;, topology::fanout::Fanout&gt;, [closure@src/topology/builder.rs:144:22: 144:44]&gt;&gt;</b>`
</pre>

**After:**

<pre>
<b>error[E0308]: `match` arms have incompatible types</b>
   <b>--&gt;</b> src/topology/builder.rs:141:35
    <b>|</b>
<b>120 |</b>             let transform = match transform {
    <b>|                             --------------- `match` arms have incompatible types</b>
<b>121 |</b>                 Transform::Function(t) =&gt; {
    <b>|  _________________________________________-</b>
<b>122 | |</b>                   filter_event_type(input_rx, input_type).compat().flat_map(|v| {
<b>123 | |</b>                       futures::stream::iter(match v {
<b>124 | |</b>                           Err(e) =&gt; {
<b>...   |</b>
<b>139 | |</b>                   .compat();
<b>140 | |</b>               }
    <b>| |_______________- this is found to be of type `()`</b>
<b>141 |</b>                 Transform::Task(t) =&gt; t
    <b>|  _____________________________________^</b>
<b>142 | |</b>                   .transform(filter_event_type(input_rx, input_type))
<b>143 | |</b>                   .forward(output)
<b>144 | |</b>                   .map(|_| debug!("Finished"))
<b>145 | |</b>                   .compat(),
    <b>| |___________________________^ expected `()`, found struct `futures::compat::Compat01As03`</b>
    <b>|</b>
    <b>= note:</b> expected type `<b>()</b>`
             found struct `<b>futures::compat::Compat01As03&lt;futures::Map&lt;futures::stream::Forward&lt;std::boxed::Box&lt;dyn futures::Stream&lt;Error = (), Item = event::Event&gt; + std::marker::Send&gt;, topology::fanout::Fanout&gt;, [closure@src/topology/builder.rs:144:22: 144:44]&gt;&gt;</b>`
</pre>

FYI @Hoverbear

3 years agoRollup merge of #78235 - Aaron1011:closure-ret-infer, r=varkor
Yuki Okushi [Fri, 23 Oct 2020 09:26:39 +0000 (18:26 +0900)]
Rollup merge of #78235 - Aaron1011:closure-ret-infer, r=varkor

Explain where the closure return type was inferred

Fixes #78193

3 years agoRollup merge of #78231 - LeSeulArtichaut:closure-target_feature, r=nikomatsakis
Yuki Okushi [Fri, 23 Oct 2020 09:26:37 +0000 (18:26 +0900)]
Rollup merge of #78231 - LeSeulArtichaut:closure-target_feature, r=nikomatsakis

Make closures inherit the parent function's target features

r? @ghost
Closes #73631

3 years agoRollup merge of #78169 - ehuss:update-cargo, r=ehuss
Yuki Okushi [Fri, 23 Oct 2020 09:26:35 +0000 (18:26 +0900)]
Rollup merge of #78169 - ehuss:update-cargo, r=ehuss

Update cargo

3 commits in 79b397d72c557eb6444a2ba0dc00a211a226a35a..dd83ae55c871d94f060524656abab62ec40b4c40
2020-10-15 14:41:21 +0000 to 2020-10-20 19:31:26 +0000
- Support glob patterns for package/target selection (rust-lang/cargo#8752)
- Update env_logger requirement from 0.7.0 to 0.8.1 (rust-lang/cargo#8795)
- Fix man page links inside `option` blocks. (rust-lang/cargo#8793)

3 years agoRollup merge of #78163 - camelid:fixup-lib-docs, r=m-ou-se
Yuki Okushi [Fri, 23 Oct 2020 09:26:33 +0000 (18:26 +0900)]
Rollup merge of #78163 - camelid:fixup-lib-docs, r=m-ou-se

Clean up lib docs

Cherry-picked out of #78094.

3 years agoRollup merge of #78153 - est31:downloaded_llvm_maybe_sync, r=Mark-Simulacrum
Yuki Okushi [Fri, 23 Oct 2020 09:26:32 +0000 (18:26 +0900)]
Rollup merge of #78153 - est31:downloaded_llvm_maybe_sync, r=Mark-Simulacrum

Sync LLVM submodule if it has been initialized

Since having enabled the download-ci-llvm option,
and having rebased on top of #76864,
I've noticed that I had to update the llvm-project
submodule manually if it was checked out.
Orignally, the submodule update logic was
introduced to reduce the friction for contributors
to manage the submodules, or in other words, to prevent
getting PRs that have unwanted submodule rollbacks
because the contributors didn't run git submodule update.

This commit adds logic to ensure there is no inadvertent
LLVM submodule rollback in a PR if download-ci-llvm
(or llvm-config) is enabled. It will detect whether the
llvm-project submodule is initialized, and if so, update
it in any case. If it is not initialized, behaviour is
kept to not do any update/initialization.

An alternative to the chosen implementation would
be to not pass the --init command line arg to
`git submodule update` for the src/llvm-project
submodule. This would show a confusing error message
however on all builds with an uninitialized repo.
We could pass the --silent param, but we still want
it to print something if it is initialized and has
to update something.
So we just do a manual check for whether the
submodule is initialized.

3 years agoRollup merge of #78116 - spastorino:inline-const-in-range-pat, r=petrochenkov
Yuki Okushi [Fri, 23 Oct 2020 09:26:30 +0000 (18:26 +0900)]
Rollup merge of #78116 - spastorino:inline-const-in-range-pat, r=petrochenkov

Make inline const work in range patterns

Fixes #78108 which is a follow up of https://github.com/rust-lang/rust/pull/77124

r? @petrochenkov

3 years agoRollup merge of #78098 - camelid:fixup-docs, r=steveklabnik
Yuki Okushi [Fri, 23 Oct 2020 09:26:28 +0000 (18:26 +0900)]
Rollup merge of #78098 - camelid:fixup-docs, r=steveklabnik

Clean up and improve some docs

* compiler docs
  * Don't format list as part of a code block
  * Clean up some other formatting
* rustdoc book
  * Update CommonMark spec version to latest (0.28 -> 0.29)
  * Clean up some various wording and formatting

3 years agoRollup merge of #77969 - ryan-scott-dev:bigo-notation-consistency, r=m-ou-se
Yuki Okushi [Fri, 23 Oct 2020 09:26:26 +0000 (18:26 +0900)]
Rollup merge of #77969 - ryan-scott-dev:bigo-notation-consistency, r=m-ou-se

Doc formating consistency between slice sort and sort_unstable, and big O notation consistency

Updated documentation for slice sorting methods to be consistent between stable and unstable versions, which just ended up being minor formatting differences.

I also went through and updated any doc comments with big O notation to be consistent with #74010 by italicizing them rather than having them in a code block.

3 years agoRollup merge of #77920 - ayazhafiz:i/mut-ident-spacing, r=jyn514
Yuki Okushi [Fri, 23 Oct 2020 09:26:24 +0000 (18:26 +0900)]
Rollup merge of #77920 - ayazhafiz:i/mut-ident-spacing, r=jyn514

Avoid extraneous space between visibility kw and ident for statics

Today, given a static like `static mut FOO: usize = 1`, rustdoc would
emit `static mut  FOO: usize = 1`, as it emits both the mutability kw
with a space and reserves a space after the mutability kw. This patch
fixes that misformatting.

This patch also adds some tests for emit of other statics, as I could
not find an existing test devoted to statics.

3 years agoRollup merge of #77918 - wcampbell0x2a:cleanup-network-tests, r=m-ou-se
Yuki Okushi [Fri, 23 Oct 2020 09:26:22 +0000 (18:26 +0900)]
Rollup merge of #77918 - wcampbell0x2a:cleanup-network-tests, r=m-ou-se

Cleanup network tests

Some cleanup for network related tests

3 years agoRollup merge of #77890 - gilescope:welformed-json-output-from-libtest, r=KodrAus
Yuki Okushi [Fri, 23 Oct 2020 09:26:20 +0000 (18:26 +0900)]
Rollup merge of #77890 - gilescope:welformed-json-output-from-libtest, r=KodrAus

Fixing escaping to ensure generation of welformed json.

doc tests' json name have a filename in them. When json test output is asked for on windows currently produces invalid json.
Tracking issue for json test output: #49359

3 years agoRollup merge of #77488 - varkor:repr128-incomplete_features, r=jonas-schievink
Yuki Okushi [Fri, 23 Oct 2020 09:26:18 +0000 (18:26 +0900)]
Rollup merge of #77488 - varkor:repr128-incomplete_features, r=jonas-schievink

Mark `repr128` as `incomplete_features`

As mentioned in https://github.com/rust-lang/rust/issues/56071 and noticed in https://github.com/rust-lang/rust/issues/77457, `repr(u128)` and `repr(i128)` do not work properly due to lack of LLVM support. We should thus warn users trying to use the feature that they may encounter ICEs when using it.

Closes https://github.com/rust-lang/rust/issues/77457.

3 years agoRollup merge of #77339 - fusion-engineering-forks:tryfrom-nonzero-to-nonzero, r=dtolnay
Yuki Okushi [Fri, 23 Oct 2020 09:26:16 +0000 (18:26 +0900)]
Rollup merge of #77339 - fusion-engineering-forks:tryfrom-nonzero-to-nonzero, r=dtolnay

Implement TryFrom between NonZero types.

This will instantly be stable, as trait implementations for stable types and traits can not be `#[unstable]`.

Closes #77258.

@rustbot modify labels: +T-libs

3 years agoRollup merge of #77268 - follower:patch-3, r=jyn514
Yuki Okushi [Fri, 23 Oct 2020 09:26:14 +0000 (18:26 +0900)]
Rollup merge of #77268 - follower:patch-3, r=jyn514

Link to "Contributing to Rust" rather than "Getting Started".

Change to link to "Contributing to Rust" chapter of `rustc` Dev Guide, primarily on the basis that:

 * The GitHub "first contribution" Issue "pop-up" says "Be sure to review the [contributing guidelines] and [code of conduct]" and links to this file.

 * The "Bug Report" section _seems_ to restrict itself to if "a compiler error message [told] you to come here".

 * The previous content of `CONTRIBUTING.md` now lives in the "Contributing to Rust" chapter.

When/if the guide/"Getting Started" section gets revised to not be `rustc`-specific, the choice of linked chapter could be updated.

In the meantime this prevents leading first time contributors into a confusing cul de sac.

_[I wasn't planning to make a PR for this until discussion in #77215 concluded but the discovery that the "first issue" pop-up also links to this document IMO makes it a higher priority to make the link useful sooner rather than later.]_

Related issues:

 * https://github.com/rust-lang/rust/issues/77215

 * https://github.com/rust-lang/rustc-dev-guide/issues/775#issuecomment-699063082

3 years agoreview
Bastian Kauschke [Fri, 23 Oct 2020 07:33:47 +0000 (09:33 +0200)]
review

3 years agoAdd regression test for issue-71732
Yuki Okushi [Fri, 23 Oct 2020 07:22:11 +0000 (16:22 +0900)]
Add regression test for issue-71732

3 years agoMake it regression test of issue-77668
Yuki Okushi [Fri, 23 Oct 2020 07:11:46 +0000 (16:11 +0900)]
Make it regression test of issue-77668

3 years agoAdd a regression test for issue-72616
Yuki Okushi [Fri, 23 Oct 2020 07:10:19 +0000 (16:10 +0900)]
Add a regression test for issue-72616

3 years agoAdd regression test for issue-77475
Yuki Okushi [Fri, 23 Oct 2020 07:09:17 +0000 (16:09 +0900)]
Add regression test for issue-77475

3 years agoDon't re-export std::ops::ControlFlow in the compiler.
Leonora Tindall [Wed, 21 Oct 2020 14:51:13 +0000 (09:51 -0500)]
Don't re-export std::ops::ControlFlow in the compiler.

3 years agochange the order of type arguments on ControlFlow
Leonora Tindall [Fri, 11 Sep 2020 21:36:58 +0000 (16:36 -0500)]
change the order of type arguments on ControlFlow

This allows ControlFlow<BreakType> which is much more ergonomic for
common iterator combinator use cases.

3 years agoDocument inline-const in the Unstable Book
Camelid [Thu, 22 Oct 2020 21:22:09 +0000 (14:22 -0700)]
Document inline-const in the Unstable Book

3 years agoReduce diagram mess in 'match arms have incompatible types' error
David Tolnay [Thu, 22 Oct 2020 21:20:02 +0000 (14:20 -0700)]
Reduce diagram mess in 'match arms have incompatible types' error

3 years agoAdd codegen test for #45964
Dániel Buga [Thu, 22 Oct 2020 22:12:20 +0000 (00:12 +0200)]
Add codegen test for #45964

3 years agoAdd test of incompatible match arm types with multiline arm
David Tolnay [Thu, 22 Oct 2020 23:08:26 +0000 (16:08 -0700)]
Add test of incompatible match arm types with multiline arm

3 years agoBump LLVM for DeadArgElim fix
Aaron Hill [Thu, 22 Oct 2020 21:57:14 +0000 (17:57 -0400)]
Bump LLVM for DeadArgElim fix

Fixes #76387

Pulls in https://github.com/rust-lang/llvm-project/pull/82

3 years agoimprove const infer error
Bastian Kauschke [Thu, 22 Oct 2020 21:07:48 +0000 (23:07 +0200)]
improve const infer error

3 years agoRetire rustc_dep_node_try_load_from_on_disk_cache.
Camille GILLOT [Sun, 11 Oct 2020 19:18:59 +0000 (21:18 +0200)]
Retire rustc_dep_node_try_load_from_on_disk_cache.

3 years agoRetire rustc_dep_node_force.
Camille GILLOT [Sun, 11 Oct 2020 18:58:31 +0000 (20:58 +0200)]
Retire rustc_dep_node_force.

3 years agoUnify query name and node name.
Camille GILLOT [Sun, 11 Oct 2020 18:46:46 +0000 (20:46 +0200)]
Unify query name and node name.

3 years agoRemove unused category from macros.
Camille GILLOT [Sun, 11 Oct 2020 18:44:24 +0000 (20:44 +0200)]
Remove unused category from macros.

3 years agoRemove unused ProfileCategory.
Camille GILLOT [Sun, 7 Jun 2020 16:45:10 +0000 (18:45 +0200)]
Remove unused ProfileCategory.

3 years agoCheck which places are dead
Simon Vandel Sillesen [Thu, 22 Oct 2020 20:22:17 +0000 (22:22 +0200)]
Check which places are dead

Fixes #78192

3 years agoOnly call `collect_tokens` when we have an attribute to parse
Aaron Hill [Thu, 22 Oct 2020 19:17:40 +0000 (15:17 -0400)]
Only call `collect_tokens` when we have an attribute to parse

3 years agofix save-analysis
Bastian Kauschke [Thu, 22 Oct 2020 19:04:28 +0000 (21:04 +0200)]
fix save-analysis

3 years agoClean up lib docs
Camelid [Mon, 19 Oct 2020 01:17:49 +0000 (18:17 -0700)]
Clean up lib docs

3 years agoAdd test for const panic!(CONST).
Mara Bos [Sun, 18 Oct 2020 13:02:42 +0000 (15:02 +0200)]
Add test for const panic!(CONST).

3 years agoFix const core::panic!(non_literal_str).
Mara Bos [Sat, 5 Sep 2020 15:26:11 +0000 (17:26 +0200)]
Fix const core::panic!(non_literal_str).

3 years agoBless tests
Santiago Pastorino [Tue, 20 Oct 2020 22:59:22 +0000 (19:59 -0300)]
Bless tests

3 years agoAdd ..= const { .. } missing tests and sort them properly
Santiago Pastorino [Tue, 20 Oct 2020 21:53:13 +0000 (18:53 -0300)]
Add ..= const { .. } missing tests and sort them properly

3 years agoMake inline const work for half open ranges
Santiago Pastorino [Mon, 19 Oct 2020 21:44:37 +0000 (18:44 -0300)]
Make inline const work for half open ranges

3 years agoMake inline const work in range patterns
Santiago Pastorino [Mon, 19 Oct 2020 19:18:47 +0000 (16:18 -0300)]
Make inline const work in range patterns

3 years agoRename parse_const_expr to parse_const_block
Santiago Pastorino [Tue, 20 Oct 2020 22:14:17 +0000 (19:14 -0300)]
Rename parse_const_expr to parse_const_block

3 years agoExplain where the closure return type was inferred
Aaron Hill [Thu, 22 Oct 2020 13:47:23 +0000 (09:47 -0400)]
Explain where the closure return type was inferred

Fixes #78193

3 years agoAuto merge of #77720 - matthewjasper:fix-trait-ices, r=nikomatsakis
bors [Thu, 22 Oct 2020 14:40:20 +0000 (14:40 +0000)]
Auto merge of #77720 - matthewjasper:fix-trait-ices, r=nikomatsakis

Fix trait solving ICEs

- Selection candidates that are known to be applicable are preferred
  over candidates that are not.
- Don't ICE if a projection/object candidate is no longer applicable
  (this can happen due to cycles in normalization)
- Normalize supertraits when finding trait object candidates

Closes #77653
Closes #77656

r? `@nikomatsakis`

3 years agoDon't create an empty `LazyTokenStream`
Aaron Hill [Thu, 22 Oct 2020 14:09:08 +0000 (10:09 -0400)]
Don't create an empty `LazyTokenStream`

3 years agoFixup: add missing trailing newline
LeSeulArtichaut [Thu, 22 Oct 2020 12:37:42 +0000 (14:37 +0200)]
Fixup: add missing trailing newline

3 years agoAuto merge of #77871 - Julian-Wollersberger:less-query-context, r=oli-obk
bors [Thu, 22 Oct 2020 12:24:55 +0000 (12:24 +0000)]
Auto merge of #77871 - Julian-Wollersberger:less-query-context, r=oli-obk

Make fewer types generic over QueryContext

While trying to refactor `rustc_query_system::query::QueryContext` to make it dyn-safe, I noticed some smaller things:
* QueryConfig doesn't need to be generic over QueryContext
* ~~The `kind` field on QueryJobId is unused~~
* Some unnecessary where clauses
* Many types in `job.rs` where generic over `QueryContext` but only needed `QueryContext::Query`.
  If handle_cycle_error() could be refactored to not take `error: CycleError<CTX::Query>`, all those bounds could be removed as well.

Changing `find_cycle_in_stack()` in job.rs to not take a `tcx` argument is the only functional change here. Everything else is just updating type signatures. (aka compile-error driven development ^^)

~~Currently there is a weird bug where memory usage suddenly skyrockets when running UI tests. I'll investigate that tomorrow.
A perf run probably won't make sense before that is fixed.~~

EDIT: `kind` actually is used by `Eq`, and re-adding it fixed the memory issue.

3 years agoFix clippy tests
varkor [Thu, 22 Oct 2020 12:23:14 +0000 (13:23 +0100)]
Fix clippy tests

3 years agoFix clippy tests
varkor [Thu, 22 Oct 2020 12:23:14 +0000 (13:23 +0100)]
Fix clippy tests