]> git.lizzy.rs Git - rust.git/log
rust.git
2 years agoRollup merge of #90022 - hkmatsumoto:self-upper-as-generic-parameter, r=jackh726
Matthias Krüger [Sat, 4 Dec 2021 23:37:56 +0000 (00:37 +0100)]
Rollup merge of #90022 - hkmatsumoto:self-upper-as-generic-parameter, r=jackh726

Explain why `Self` is invalid in generic parameters

Close #89985.

r? `@estebank`

2 years agoRollup merge of #89642 - devnexen:macos_getenv_chng, r=m-ou-se
Matthias Krüger [Sat, 4 Dec 2021 23:37:55 +0000 (00:37 +0100)]
Rollup merge of #89642 - devnexen:macos_getenv_chng, r=m-ou-se

environ on macos uses directly libc which has the correct signature.

2 years agoAuto merge of #91517 - matthiaskrgr:rollup-3fmp4go, r=matthiaskrgr
bors [Sat, 4 Dec 2021 13:23:50 +0000 (13:23 +0000)]
Auto merge of #91517 - matthiaskrgr:rollup-3fmp4go, r=matthiaskrgr

Rollup of 3 pull requests

Successful merges:

 - #87054 (Add a `try_reduce` method to the Iterator trait)
 - #89701 (Updated error message for accidental uses of derive attribute as a crate attribute)
 - #90519 (Keep spans for generics in `#[derive(_)]` desugaring)

Failed merges:

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

2 years agoRollup merge of #90519 - estebank:issue-84003, r=petrochenkov
Matthias Krüger [Sat, 4 Dec 2021 09:42:20 +0000 (10:42 +0100)]
Rollup merge of #90519 - estebank:issue-84003, r=petrochenkov

Keep spans for generics in `#[derive(_)]` desugaring

Keep the spans for generics coming from a `derive`d Item, so that errors
and suggestions have better detail.

Fix #84003.

2 years agoRollup merge of #89701 - tom7980:issue-89566-fix, r=petrochenkov
Matthias Krüger [Sat, 4 Dec 2021 09:42:19 +0000 (10:42 +0100)]
Rollup merge of #89701 - tom7980:issue-89566-fix, r=petrochenkov

Updated error message for accidental uses of derive attribute as a crate attribute

This partially fixes the original issue #89566 by adding derive to the list of invalid crate attributes and then providing an updated error message however I'm not sure how to prevent the resolution error message from emitting without causing the compiler to just abort when it finds an invalid crate attribute (which I'd prefer not to do so we can find and emit other errors).

`@petrochenkov` I have been told you may have some insight on why it's emitting the resolution error though honestly I'm not sure if we need to worry about fixing it as long as we can provide the invalid crate attribute error also (which happens first anyway)

2 years agoRollup merge of #87054 - kit-981:master, r=scottmcm
Matthias Krüger [Sat, 4 Dec 2021 09:42:19 +0000 (10:42 +0100)]
Rollup merge of #87054 - kit-981:master, r=scottmcm

Add a `try_reduce` method to the Iterator trait

Tracking issue: #87053

2 years agoAuto merge of #88439 - cynecx:unwind_asm, r=Amanieu
bors [Sat, 4 Dec 2021 05:59:16 +0000 (05:59 +0000)]
Auto merge of #88439 - cynecx:unwind_asm, r=Amanieu

Unwinding support for inline assembly

r? `@Amanieu`

2 years agoAdd a `try_reduce` method to the Iterator trait
kit [Sun, 11 Jul 2021 05:43:30 +0000 (15:43 +1000)]
Add a `try_reduce` method to the Iterator trait

2 years agoAuto merge of #91505 - matthiaskrgr:rollup-orxgsxo, r=matthiaskrgr
bors [Sat, 4 Dec 2021 02:53:54 +0000 (02:53 +0000)]
Auto merge of #91505 - matthiaskrgr:rollup-orxgsxo, r=matthiaskrgr

Rollup of 7 pull requests

Successful merges:

 - #90538 (Document how recursion is handled for `ty::Ty`)
 - #90851 (Add unchecked downcast methods)
 - #91209 (Implement ``@snapshot`` check for htmldocck)
 - #91385 (Suggest the `pat_param` specifier before `|` on 2021 edition )
 - #91478 (Remove incorrect newline from float cast suggestion)
 - #91481 (Use let_else in some more places in rustc_lint)
 - #91488 (Fix ICE when `yield`ing in function returning `impl Trait`)

Failed merges:

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

2 years agoRollup merge of #91488 - compiler-errors:issue-91477, r=estebank
Matthias Krüger [Sat, 4 Dec 2021 01:26:26 +0000 (02:26 +0100)]
Rollup merge of #91488 - compiler-errors:issue-91477, r=estebank

Fix ICE when `yield`ing in function returning `impl Trait`

Change an assert to a `delay_span_bug` and remove an unwrap, that should fix it.

Fixes #91477

2 years agoRollup merge of #91481 - est31:let_else, r=jackh726
Matthias Krüger [Sat, 4 Dec 2021 01:26:25 +0000 (02:26 +0100)]
Rollup merge of #91481 - est31:let_else, r=jackh726

Use let_else in some more places in rustc_lint

Follow-up of #91018 and #89933 . Also cc #90985 which added the first let_else uses to rustc_lint.

2 years agoRollup merge of #91478 - estebank:fix-newline-in-cast-suggestion, r=camelid
Matthias Krüger [Sat, 4 Dec 2021 01:26:24 +0000 (02:26 +0100)]
Rollup merge of #91478 - estebank:fix-newline-in-cast-suggestion, r=camelid

Remove incorrect newline from float cast suggestion

2 years agoRollup merge of #91385 - ecstatic-morse:pat-param-spec-suggest, r=estebank
Matthias Krüger [Sat, 4 Dec 2021 01:26:23 +0000 (02:26 +0100)]
Rollup merge of #91385 - ecstatic-morse:pat-param-spec-suggest, r=estebank

Suggest the `pat_param` specifier before `|` on 2021 edition

Ran into this today after writing some Rust for the first time in a while.

r? `@estebank`

2 years agoRollup merge of #91209 - camelid:snapshot, r=jyn514
Matthias Krüger [Sat, 4 Dec 2021 01:26:22 +0000 (02:26 +0100)]
Rollup merge of #91209 - camelid:snapshot, r=jyn514

Implement `@snapshot` check for htmldocck

This form of check allows performing snapshot tests (à la `src/test/ui`)
on rustdoc HTML output, making it easier to create and update tests.

See [this Zulip thread][1] for more information about the motivation for
this change.

[1]: https://zulip-archive.rust-lang.org/stream/266220-rustdoc/topic/HTML.20snapshot.20tests.html#262651142

r? `@GuillaumeGomez`

2 years agoRollup merge of #90851 - ibraheemdev:downcast-unchecked, r=scottmcm
Matthias Krüger [Sat, 4 Dec 2021 01:26:21 +0000 (02:26 +0100)]
Rollup merge of #90851 - ibraheemdev:downcast-unchecked, r=scottmcm

Add unchecked downcast methods

```rust
impl dyn Any (+ Send + Sync) {
    pub unsafe fn downcast_ref_unchecked<T: Any>(&self) -> &T;
    pub unsafe fn downcast_mut_unchecked<T: Any>(&mut self) -> &mut T;
}

impl<A: Allocator> Box<dyn Any (+ Send + Sync), A> {
    pub unsafe fn downcast_unchecked<T: Any>(&self) -> Box<T, A>;
}
```

2 years agoRollup merge of #90538 - camelid:doc-recur-ty, r=estebank
Matthias Krüger [Sat, 4 Dec 2021 01:26:20 +0000 (02:26 +0100)]
Rollup merge of #90538 - camelid:doc-recur-ty, r=estebank

Document how recursion is handled for `ty::Ty`

Based on this forum discussion:
https://internals.rust-lang.org/t/recursive-type-representation-in-rustc/15235/4

cc `@estebank`

2 years agoAuto merge of #91501 - camelid:rm-tuple-impls-2, r=GuillaumeGomez
bors [Fri, 3 Dec 2021 23:46:53 +0000 (23:46 +0000)]
Auto merge of #91501 - camelid:rm-tuple-impls-2, r=GuillaumeGomez

rustdoc: Remove Clean impls for tuples

This PR removes all nine Clean impls on tuples, converting them to
functions instead.

The fact that these are impls causes several problems:

  1. They are nameless, so it's unclear what they do.

  2. It's hard to find where they're used apart from removing them and
     seeing what errors occur (this applies to all Clean impls, not just
     the tuple ones).

  3. Rustc doesn't currently warn when impls are unused, so dead code
     can accumulate easily (all Clean impls).

  4. Their bodies often use tuple field indexing syntax (e.g., `self.1`)
     to refer to their "arguments", which makes reading the code more
     difficult.

As I noted, some of these problems apply to all Clean impls, but even
those problems are exacerbated by the tuple impls since they make
general understanding of the code harder.

Converting the impls to functions solves all four of these problems.

r? `@GuillaumeGomez`

2 years agolimit may_unwind codegen test to x86_64
cynecx [Fri, 3 Dec 2021 22:53:31 +0000 (23:53 +0100)]
limit may_unwind codegen test to x86_64

2 years agofix feature-gate test for may_unwind
cynecx [Tue, 30 Nov 2021 10:36:55 +0000 (11:36 +0100)]
fix feature-gate test for may_unwind

2 years agofix inline asm test by not hardcoding symbol names
cynecx [Sun, 28 Nov 2021 20:52:27 +0000 (21:52 +0100)]
fix inline asm test by not hardcoding symbol names

2 years agofix inline asm test because of missing attribute
cynecx [Sun, 28 Nov 2021 18:35:31 +0000 (19:35 +0100)]
fix inline asm test because of missing attribute

2 years agorustc_codegen_gcc: proper check for may_unwind
cynecx [Fri, 19 Nov 2021 22:37:09 +0000 (23:37 +0100)]
rustc_codegen_gcc: proper check for may_unwind

2 years agoadd clobber_abi("C") to may_unwind inline-asm tests
cynecx [Fri, 19 Nov 2021 21:41:16 +0000 (22:41 +0100)]
add clobber_abi("C") to may_unwind inline-asm tests

2 years agoadd tests for asm's options(may_unwind)
cynecx [Sun, 14 Nov 2021 02:08:12 +0000 (03:08 +0100)]
add tests for asm's options(may_unwind)

2 years agoadd `unwind_asm` feature gate for `may_unwind` option
cynecx [Sun, 14 Nov 2021 19:21:05 +0000 (20:21 +0100)]
add `unwind_asm` feature gate for `may_unwind` option

2 years agorustc_codegen_gcc: error on unwinding inline asm
cynecx [Fri, 12 Nov 2021 23:37:30 +0000 (00:37 +0100)]
rustc_codegen_gcc: error on unwinding inline asm

2 years agoUpdate unstable-book with recent asm changes (`may_unwind`)
cynecx [Sun, 19 Sep 2021 20:38:55 +0000 (22:38 +0200)]
Update unstable-book with recent asm changes (`may_unwind`)

2 years agocg_cranelift: check may_unwind flag instead of cleanup
cynecx [Sat, 4 Sep 2021 20:14:09 +0000 (22:14 +0200)]
cg_cranelift: check may_unwind flag instead of cleanup

2 years agoLLVM codgen support for unwinding inline assembly
cynecx [Sat, 4 Sep 2021 17:25:09 +0000 (19:25 +0200)]
LLVM codgen support for unwinding inline assembly

2 years agoAdjust llvm wrapper for unwinding support for inlineasm
cynecx [Sat, 28 Aug 2021 17:02:00 +0000 (19:02 +0200)]
Adjust llvm wrapper for unwinding support for inlineasm

2 years agoAdd initial AST and MIR support for unwinding from inline assembly
Amanieu d'Antras [Mon, 30 Aug 2021 00:23:33 +0000 (01:23 +0100)]
Add initial AST and MIR support for unwinding from inline assembly

2 years agoRemove a Clean impl for a tuple (9)
Noah Lev [Fri, 3 Dec 2021 21:58:17 +0000 (13:58 -0800)]
Remove a Clean impl for a tuple (9)

This was the last one!

2 years agoRemove a Clean impl for a tuple (8)
Noah Lev [Fri, 3 Dec 2021 21:55:59 +0000 (13:55 -0800)]
Remove a Clean impl for a tuple (8)

2 years agoRemove a Clean impl for a tuple (7)
Noah Lev [Fri, 3 Dec 2021 21:52:38 +0000 (13:52 -0800)]
Remove a Clean impl for a tuple (7)

2 years agoRemove a Clean impl for a tuple (6)
Noah Lev [Fri, 3 Dec 2021 21:46:19 +0000 (13:46 -0800)]
Remove a Clean impl for a tuple (6)

2 years agoRemove a Clean impl for a tuple (5)
Noah Lev [Fri, 3 Dec 2021 21:44:47 +0000 (13:44 -0800)]
Remove a Clean impl for a tuple (5)

2 years agoRemove a Clean impl for a tuple (4)
Noah Lev [Fri, 3 Dec 2021 21:42:38 +0000 (13:42 -0800)]
Remove a Clean impl for a tuple (4)

2 years agoClean up definition of `clean_ty_generics` a bit
Noah Lev [Fri, 3 Dec 2021 21:36:06 +0000 (13:36 -0800)]
Clean up definition of `clean_ty_generics` a bit

2 years agoRemove a Clean impl for a tuple (3)
Noah Lev [Fri, 3 Dec 2021 21:34:46 +0000 (13:34 -0800)]
Remove a Clean impl for a tuple (3)

2 years agoRemove a Clean impl for a tuple (2)
Noah Lev [Fri, 3 Dec 2021 21:26:59 +0000 (13:26 -0800)]
Remove a Clean impl for a tuple (2)

2 years agoRemove a Clean impl for a tuple (1)
Noah Lev [Fri, 3 Dec 2021 21:23:18 +0000 (13:23 -0800)]
Remove a Clean impl for a tuple (1)

This commit removes the first of nine Clean impls on tuples, converting
it to a function instead.

The fact that these are impls causes several problems:

  1. They are nameless, so it's unclear what they do.

  2. It's hard to find where they're used apart from removing them and
     seeing what errors occur (this applies to all Clean impls, not just
     the tuple ones).

  3. Rustc doesn't currently warn when impls are unused, so dead code
     can accumulate easily (all Clean impls).

  4. Their bodies often use tuple field indexing syntax (e.g., `self.1`)
     to refer to their "arguments", which makes reading the code more
     difficult.

As I noted, some of these problems apply to all Clean impls, but even
those problems are exacerbated by the tuple impls since they make
general understanding of the code harder.

Converting the impls to functions solves all four of these problems.

2 years agorustdoc: Rename bounds to bindings where appropriate
Noah Lev [Fri, 3 Dec 2021 21:18:52 +0000 (13:18 -0800)]
rustdoc: Rename bounds to bindings where appropriate

2 years agofix stability annotations for `Box::downcast`
Ibraheem Ahmed [Fri, 3 Dec 2021 21:06:13 +0000 (16:06 -0500)]
fix stability annotations for `Box::downcast`

2 years agoDocument how recursion is handled for `ty::Ty`
Noah Lev [Wed, 3 Nov 2021 18:12:39 +0000 (11:12 -0700)]
Document how recursion is handled for `ty::Ty`

Based on this forum discussion:
https://internals.rust-lang.org/t/recursive-type-representation-in-rustc/15235/4

2 years agoAuto merge of #90737 - eholk:intofuture, r=tmandry
bors [Fri, 3 Dec 2021 19:29:21 +0000 (19:29 +0000)]
Auto merge of #90737 - eholk:intofuture, r=tmandry

Reintroduce `into_future` in `.await` desugaring

This is a reintroduction of the remaining parts from https://github.com/rust-lang/rust/pull/65244 that have not been relanded yet.

This isn't quite ready to merge yet. The last attempt was reverting due to performance regressions, so we need to make sure this does not introduce those issues again.

Issues #67644, #67982

/cc `@yoshuawuyts`

2 years agoreview comment
Esteban Kuber [Fri, 3 Dec 2021 18:45:15 +0000 (18:45 +0000)]
review comment

2 years agoAnnotate `derive`d spans and move span suggestion code
Esteban Kuber [Sat, 20 Nov 2021 18:46:36 +0000 (18:46 +0000)]
Annotate `derive`d spans and move span suggestion code

* Annotate `derive`d spans from the user's code with the appropciate context
* Add `Span::can_be_used_for_suggestion` to query if the underlying span
  at the users' code

2 years agoRemove some unnecessarily verbose code
Esteban Kuber [Wed, 17 Nov 2021 23:47:47 +0000 (23:47 +0000)]
Remove some unnecessarily verbose code

2 years agoModify `bounds_span` to ignore bounds coming from a `derive` macro
Esteban Kuber [Wed, 17 Nov 2021 23:35:38 +0000 (23:35 +0000)]
Modify `bounds_span` to ignore bounds coming from a `derive` macro

2 years agoKeep spans for generics in `#[derive(_)]` desugaring
Esteban Kuber [Wed, 3 Nov 2021 04:19:06 +0000 (04:19 +0000)]
Keep spans for generics in `#[derive(_)]` desugaring

Keep the spans for generics coming from a `derive`d Item, so that errors
and suggestions have better detail.

Fix #84003.

2 years agoUpdate invalid crate attributes, add help message
Tom Farmer [Sat, 9 Oct 2021 12:13:15 +0000 (13:13 +0100)]
Update invalid crate attributes, add help message

tidy run

update invalid crate attributes, improve error

update test outputs

de-capitalise error

update tests

Update invalid crate attributes, add help message

Update - generate span without using BytePos

Add correct dependancies

Update - generate suggestion without BytePos

Tidy run

update tests

Generate Suggestion without BytePos

Add all builtin attributes

add err builtin inner attr at top of crate

fix tests

add err builtin inner attr at top of crate

tidy fix

add err builtin inner attr at top of crate

2 years agoAuto merge of #91491 - spastorino:revert-91354, r=oli-obk
bors [Fri, 3 Dec 2021 16:26:01 +0000 (16:26 +0000)]
Auto merge of #91491 - spastorino:revert-91354, r=oli-obk

Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"

This reverts commit 18bb8c61a975fff6424cda831ace5b0404277145, reversing
changes made to d9baa361902b172be716f96619b909f340802dea.

Reverts #91354 in order to address #91489. We would need to place this changes in a more granular way and would also be nice to address the small perf regression that was also introduced.

r? `@oli-obk`
cc `@fee1-dead`

2 years agoAuto merge of #91393 - Julian-Wollersberger:lexer_optimization, r=petrochenkov
bors [Fri, 3 Dec 2021 13:20:14 +0000 (13:20 +0000)]
Auto merge of #91393 - Julian-Wollersberger:lexer_optimization, r=petrochenkov

Optimize `rustc_lexer`

The `cursor.first()` method in `rustc_lexer` now calls the `chars.next()` method instead of `chars.nth_char(0)`.

This allows LLVM to optimize the code better. The biggest win is that `eat_while()` is now fully inlined and generates better assembly. This improves the lexer's performance by 35% in a micro-benchmark I made (Lexing all 18MB of code in the compiler directory). But lexing is only a small part of the overall compilation time, so I don't know how significant it is.

Big thanks to criterion and `cargo asm`.

2 years agoRevert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"
Santiago Pastorino [Fri, 3 Dec 2021 13:11:21 +0000 (10:11 -0300)]
Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"

This reverts commit 18bb8c61a975fff6424cda831ace5b0404277145, reversing
changes made to d9baa361902b172be716f96619b909f340802dea.

2 years agoAuto merge of #91286 - scottmcm:residual-trait, r=joshtriplett
bors [Fri, 3 Dec 2021 10:15:11 +0000 (10:15 +0000)]
Auto merge of #91286 - scottmcm:residual-trait, r=joshtriplett

Make `array::{try_from_fn, try_map}` and `Iterator::try_find` generic over `Try`

Fixes #85115

This only updates unstable functions.

`array::try_map` didn't actually exist before; this adds it under the still-open tracking issue #79711 from the old PR #79713.

Tracking issue for the new trait: #91285

This would also solve the return type question in for the proposed `Iterator::try_reduce` in #87054

2 years agoAuto merge of #91486 - matthiaskrgr:rollup-699fo18, r=matthiaskrgr
bors [Fri, 3 Dec 2021 07:12:36 +0000 (07:12 +0000)]
Auto merge of #91486 - matthiaskrgr:rollup-699fo18, r=matthiaskrgr

Rollup of 10 pull requests

Successful merges:

 - #88906 (Implement write() method for Box<MaybeUninit<T>>)
 - #90269 (Make `Option::expect` unstably const)
 - #90854 (Type can be unsized and uninhabited)
 - #91170 (rustdoc: preload fonts)
 - #91273 (Fix ICE #91268 by checking that the snippet ends with a `)`)
 - #91381 (Android: -ldl must appear after -lgcc when linking)
 - #91453 (Document Windows TLS drop behaviour)
 - #91462 (Use try_normalize_erasing_regions in needs_drop)
 - #91474 (suppress warning about set_errno being unused on DragonFly)
 - #91483 (Sync rustfmt subtree)

Failed merges:

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

2 years agoFix ICE when yielding in fn returning impl Trait
Michael Goulet [Fri, 3 Dec 2021 06:33:40 +0000 (22:33 -0800)]
Fix ICE when yielding in fn returning impl Trait

2 years agoRollup merge of #91483 - calebcartwright:sync-rustfmt-subtree, r=calebcartwright
Matthias Krüger [Fri, 3 Dec 2021 05:24:19 +0000 (06:24 +0100)]
Rollup merge of #91483 - calebcartwright:sync-rustfmt-subtree, r=calebcartwright

Sync rustfmt subtree

2 years agoRollup merge of #91474 - rtzoeller:dfly_set_errno, r=cuviper
Matthias Krüger [Fri, 3 Dec 2021 05:24:18 +0000 (06:24 +0100)]
Rollup merge of #91474 - rtzoeller:dfly_set_errno, r=cuviper

suppress warning about set_errno being unused on DragonFly

Other targets allow this function to be unused, DragonFly just misses out due to providing a specialization.

This fixes a build error for DragonFly.

2 years agoRollup merge of #91462 - b-naber:use-try-normalize-erasing-regions, r=jackh726
Matthias Krüger [Fri, 3 Dec 2021 05:24:17 +0000 (06:24 +0100)]
Rollup merge of #91462 - b-naber:use-try-normalize-erasing-regions, r=jackh726

Use try_normalize_erasing_regions in needs_drop

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

r? ``@jackh726``

2 years agoRollup merge of #91453 - ChrisDenton:doc-win-tls-dtors, r=dtolnay
Matthias Krüger [Fri, 3 Dec 2021 05:24:16 +0000 (06:24 +0100)]
Rollup merge of #91453 - ChrisDenton:doc-win-tls-dtors, r=dtolnay

Document Windows TLS drop behaviour

The way Windows TLS destructors are run has some "interesting" properties. They should be documented.

Fixes #74875

2 years agoRollup merge of #91381 - Amanieu:android_libdl, r=petrochenkov
Matthias Krüger [Fri, 3 Dec 2021 05:24:15 +0000 (06:24 +0100)]
Rollup merge of #91381 - Amanieu:android_libdl, r=petrochenkov

Android: -ldl must appear after -lgcc when linking

#90846 accidentally broke Android builds because it causes the standard library to no longer use `dlsym` on Android. This results in `libdl` being ignored by the linker since no symbols are needed from it. However, we later import `libgcc` for unwinding which *does* depend on `libdl` for `dl_iterate_phdr`. Since linkers don't revisit previous libraries when resolving symbols, this causes a linker error due to an undefined reference to `dl_iterate_phdr`.

This is resolved by adding a second `-ldl` after `-lgcc` in the linker command-line.

2 years agoRollup merge of #91273 - Badel2:ice-index-str, r=estebank
Matthias Krüger [Fri, 3 Dec 2021 05:24:14 +0000 (06:24 +0100)]
Rollup merge of #91273 - Badel2:ice-index-str, r=estebank

Fix ICE #91268 by checking that the snippet ends with a `)`

Fix #91268

Previously it was assumed that the last character of `snippet` will be a `)`, so using `snippet.len() - 1` as an index should be safe. However as we see in the test, it is possible to enter that branch without a closing `)`, and it will trigger the panic if the last character happens to be multibyte.

The fix is to ensure that the snippet ends with `)`, and skip the suggestion otherwise.

2 years agoRollup merge of #91170 - jsha:preload-fonts, r=GuillaumeGomez
Matthias Krüger [Fri, 3 Dec 2021 05:24:13 +0000 (06:24 +0100)]
Rollup merge of #91170 - jsha:preload-fonts, r=GuillaumeGomez

rustdoc: preload fonts

Follow-up from #82315.

I noticed that font loading was so slow that even when loading from local disk, we get a flash of unstyled text (FOUT) followed by a reflow when the fonts load. With this change, we reliably get the appropriate fonts in the first render pass when loading locally, and we get it some of the time when loading from a website.

This only preloads woff2 versions. According to https://caniuse.com/?search=preload and https://caniuse.com/?search=woff2, all browsers that support preload also support woff2, so this is fine; we will never load two copies of a font.

Don't preload italic font faces because they aren't used on all pages.

Demo: https://rustdoc.crud.net/jsha/preload-fonts/std/string/struct.String.html

2 years agoRollup merge of #90854 - sanxiyn:unsized-and-uninhabited, r=estebank
Matthias Krüger [Fri, 3 Dec 2021 05:24:12 +0000 (06:24 +0100)]
Rollup merge of #90854 - sanxiyn:unsized-and-uninhabited, r=estebank

Type can be unsized and uninhabited

Fix #88150.

2 years agoRollup merge of #90269 - woppopo:const_option_expect, r=yaahc
Matthias Krüger [Fri, 3 Dec 2021 05:24:11 +0000 (06:24 +0100)]
Rollup merge of #90269 - woppopo:const_option_expect, r=yaahc

Make `Option::expect` unstably const

Tracking issue: #67441

2 years agoRollup merge of #88906 - Kixunil:box-maybe-uninit-write, r=dtolnay
Matthias Krüger [Fri, 3 Dec 2021 05:24:11 +0000 (06:24 +0100)]
Rollup merge of #88906 - Kixunil:box-maybe-uninit-write, r=dtolnay

Implement write() method for Box<MaybeUninit<T>>

This adds method similar to `MaybeUninit::write` main difference being
it returns owned `Box`. This can be used to elide copy from stack
safely, however it's not currently tested that the optimization actually
occurs.

Analogous methods are not provided for `Rc` and `Arc` as those need to
handle the possibility of sharing. Some version of them may be added in
the future.

This was discussed in #63291 which this change extends.

2 years agoAuto merge of #91339 - cbarrete:vecdeque-remove-grow-check, r=Mark-Simulacrum
bors [Fri, 3 Dec 2021 04:14:07 +0000 (04:14 +0000)]
Auto merge of #91339 - cbarrete:vecdeque-remove-grow-check, r=Mark-Simulacrum

Remove unnecessary check in VecDeque::grow

All callers already check that the buffer is full before calling
`grow()`. This is where it makes the most sense, since `grow()` is
`inline(never)` and we don't want to pay for a function call just for
that check.
It could also be argued that it would be correct to call `grow()` even
if the buffer wasn't full yet.
This change breaks no code since `grow()` is not `pub`.

2 years agoMerge commit '8da837185714cefbb261e93e9846afb11c1dc60e' into sync-rustfmt-subtree
Caleb Cartwright [Fri, 3 Dec 2021 03:35:30 +0000 (21:35 -0600)]
Merge commit '8da837185714cefbb261e93e9846afb11c1dc60e' into sync-rustfmt-subtree

2 years agoMerge pull request #5121 from calebcartwright/subtree-sync-2021-12-02
Caleb Cartwright [Fri, 3 Dec 2021 03:29:47 +0000 (21:29 -0600)]
Merge pull request #5121 from calebcartwright/subtree-sync-2021-12-02

subtree sync

2 years agoMerge remote-tracking branch 'upstream/master' into subtree-sync-2021-12-02
Caleb Cartwright [Fri, 3 Dec 2021 03:02:14 +0000 (21:02 -0600)]
Merge remote-tracking branch 'upstream/master' into subtree-sync-2021-12-02

2 years agoUse let_else in some more places in rustc_lint
est31 [Fri, 3 Dec 2021 02:25:11 +0000 (03:25 +0100)]
Use let_else in some more places in rustc_lint

2 years agoRemove incorrect newline from float cast suggestion
Esteban Kuber [Fri, 3 Dec 2021 01:00:09 +0000 (01:00 +0000)]
Remove incorrect newline from float cast suggestion

2 years agoUpdate .stderr files
Eric Holk [Fri, 3 Dec 2021 00:12:25 +0000 (16:12 -0800)]
Update .stderr files

2 years agouse try_normalize_erasing_regions in needs_drop
b-naber [Thu, 2 Dec 2021 19:30:35 +0000 (20:30 +0100)]
use try_normalize_erasing_regions in needs_drop

2 years agosuppress warning about set_errno being unused on DragonFly
Ryan Zoeller [Thu, 2 Dec 2021 22:16:27 +0000 (16:16 -0600)]
suppress warning about set_errno being unused on DragonFly

Other targets allow this function to be unused, DragonFly just
misses out due to providing a specialization.

2 years agoAuto merge of #91469 - matthiaskrgr:rollup-xom3j55, r=matthiaskrgr
bors [Thu, 2 Dec 2021 21:58:48 +0000 (21:58 +0000)]
Auto merge of #91469 - matthiaskrgr:rollup-xom3j55, r=matthiaskrgr

Rollup of 12 pull requests

Successful merges:

 - #89954 (Fix legacy_const_generic doc arguments display)
 - #91321 (Handle placeholder regions in NLL type outlive constraints)
 - #91329 (Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives`)
 - #91364 (Improve error message for incorrect field accesses through raw pointers)
 - #91387 (Clarify and tidy up explanation of E0038)
 - #91410 (Move `#![feature(const_precise_live_drops)]` checks earlier in the pipeline)
 - #91435 (Improve diagnostic for missing half of binary operator in `if` condition)
 - #91444 (disable tests in Miri that take too long)
 - #91457 (Add additional test from rust issue number 91068)
 - #91460 (Document how `last_os_error` should be used)
 - #91464 (Document file path case sensitivity)
 - #91466 (Improve the comments in `Symbol::interner`.)

Failed merges:

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

2 years agoRollup merge of #91466 - nnethercote:Symbol-interner-comments, r=Mark-Simulacrum
Matthias Krüger [Thu, 2 Dec 2021 21:16:19 +0000 (22:16 +0100)]
Rollup merge of #91466 - nnethercote:Symbol-interner-comments, r=Mark-Simulacrum

Improve the comments in `Symbol::interner`.

r? `@Mark-Simulacrum`

2 years agoRollup merge of #91464 - ChrisDenton:doc-path-case-sensitivity, r=joshtriplett
Matthias Krüger [Thu, 2 Dec 2021 21:16:18 +0000 (22:16 +0100)]
Rollup merge of #91464 - ChrisDenton:doc-path-case-sensitivity, r=joshtriplett

Document file path case sensitivity

This describes the current behaviour of the standard library's pure path methods.

Fixes #66260.

2 years agoRollup merge of #91460 - ChrisDenton:doc-last-os-error, r=joshtriplett
Matthias Krüger [Thu, 2 Dec 2021 21:16:16 +0000 (22:16 +0100)]
Rollup merge of #91460 - ChrisDenton:doc-last-os-error, r=joshtriplett

Document how `last_os_error` should be used

It should be made clear that the state of the last OS error could change if another function call is made before the call to `Error::last_os_error()`.

Fixes: #53155
2 years agoRollup merge of #91457 - steffahn:additional_test_from_91068, r=jackh726
Matthias Krüger [Thu, 2 Dec 2021 21:16:15 +0000 (22:16 +0100)]
Rollup merge of #91457 - steffahn:additional_test_from_91068, r=jackh726

Add additional test from rust issue number 91068

see rust-lang/rust#91068

r? ``@jackh726``

2 years agoRollup merge of #91444 - RalfJung:miri-tests, r=dtolnay
Matthias Krüger [Thu, 2 Dec 2021 21:16:14 +0000 (22:16 +0100)]
Rollup merge of #91444 - RalfJung:miri-tests, r=dtolnay

disable tests in Miri that take too long

Comparing slices of length `usize::MAX` diverges in Miri. In fact these tests even diverge in rustc unless `-O` is passed. I tried this code to check that:
```rust
#![feature(slice_take)]

const EMPTY_MAX: &'static [()] = &[(); usize::MAX];

fn main() {
    let mut slice: &[_] = &[(); usize::MAX];
    println!("1");
    assert_eq!(Some(&[] as _), slice.take(usize::MAX..));
    println!("2");
    let remaining: &[_] = EMPTY_MAX;
    println!("3");
    assert_eq!(remaining, slice);
    println!("4");
}
```
So, disable these tests in Miri for now.

2 years agoRollup merge of #91435 - FabianWolff:issue-91421-if-then, r=lcnr
Matthias Krüger [Thu, 2 Dec 2021 21:16:13 +0000 (22:16 +0100)]
Rollup merge of #91435 - FabianWolff:issue-91421-if-then, r=lcnr

Improve diagnostic for missing half of binary operator in `if` condition

Fixes #91421. I've also changed it so that it doesn't consume the `else` token in the error case, because it will try to consume it again afterwards, leading to this incorrect error message (where the `else` reported as missing is actually there):
```
error: expected one of `.`, `;`, `?`, `else`, or an operator, found `{`
 --> src/main.rs:4:12
  |
4 |     } else { 4 };
  |            ^ expected one of `.`, `;`, `?`, `else`, or an operator
```

r? `@lcnr`

2 years agoRollup merge of #91410 - ecstatic-morse:const-precise-live-drops-take-2, r=oli-obk
Matthias Krüger [Thu, 2 Dec 2021 21:16:13 +0000 (22:16 +0100)]
Rollup merge of #91410 - ecstatic-morse:const-precise-live-drops-take-2, r=oli-obk

Move `#![feature(const_precise_live_drops)]` checks earlier in the pipeline

Should mitigate the issues found during MCP on #73255.

Once this is done, we should clean up the queries a bit, since I think `mir_drops_elaborated_and_const_checked` can be merged back into `mir_promoted`.

Fixes #90770.

cc ``@rust-lang/wg-const-eval``
r? ``@nikomatsakis`` (since they reviewed #71824)

2 years agoRollup merge of #91387 - graydon:E0038-clarification, r=wesleywiser
Matthias Krüger [Thu, 2 Dec 2021 21:16:12 +0000 (22:16 +0100)]
Rollup merge of #91387 - graydon:E0038-clarification, r=wesleywiser

Clarify and tidy up explanation of E0038

I ran into E0038 (specifically the `Self:Sized` constraint on object-safety) the other day and it seemed to me that the explanations I found floating around the internet were a bit .. wrong. Like they didn't make sense. And then I went and checked the official explanation here and it didn't make sense either.

As far as I can tell (reading through the history of the RFCs), two totally different aspects of object-safety have got tangled up in much of the writing on the subject:
  - Object-safety related to "not even theoretically possible" issues. This includes things like "methods that take or return Self by value", which obviously will never work for an unsized type in a world with fixed-size stack frames (and it'd be an opaque type anyways, which, ugh). This sort of thing was originally decided method-by-method, with non-object-safe methods stripped from objects; but in [RFC 0255](https://rust-lang.github.io/rfcs/0255-object-safety.html) this sort of per-impossible-method reasoning was made into a per-trait safety property (with the escape hatch left in where users could mark methods `where Self:Sized` to have them stripped before the trait's object safety is considered).
  - Object-safety related to "totally possible but ergonomically a little awkward" issues. Specifically in a trait with `Trait:Sized`, there's no a priori reason why this constraint makes the trait impossible to make into an object -- imagine it had nothing but harmless `&self`-taking methods. No problem! Who cares if the Trait requires its implementing types to be sized? As far as I can tell reading the history here, in both RFC 0255 and then later in [RFC 0546](https://rust-lang.github.io/rfcs/0546-Self-not-sized-by-default.html) it seems that the motivation for making `Trait:Sized` be non-object-safe has _nothing to do_ with the impossibility of making objects out of such types, and everything to do with enabling "[a trait object SomeTrait to implement the trait SomeTrait](https://rust-lang.github.io/rfcs/0546-Self-not-sized-by-default.html#motivation)". That is, since `dyn Trait` is unsized, if `Trait:Sized` then you can never have the automatic (and reasonable) ergonomic implicit `impl Trait for dyn Trait`. And the authors of that RFC really wanted that automatic implicit implementation of `Trait` for `dyn Trait`. So they just defined `Trait:Sized` as non-object safe -- no `dyn Trait` can ever exist that the compiler can't synthesize such an impl for. Well enough!

However, I noticed in my reading-and-reconstruction that lots of documentation on the internet, including forum and Q&A site answers and (most worrying) the compiler explanation all kinda grasp at something like the first ("not theoretically possible") explanation, and fail to mention the second ("just an ergonomic constraint") explanation. So I figured I'd clean up the docs to clarify, maybe confuse the next person less (unless of course I'm misreading the history here and misunderstanding motives -- please let me know if so!)

While here I also did some cleanups:

  - Rewrote the preamble, trying to help the user get a little better oriented (I found the existing preamble a bit scattered).
  - Modernized notation (using `dyn Trait`)
  - Changed the section headings to all be written with the same logical sense: to all be written as "conditions that violate object safety" rather than a mix of that and the negated form "conditions that must not happen in order to ensure object safety".

I think there's a fair bit more to clean up in this doc -- the later sections get a bit rambly and I suspect there should be a completely separated-out section covering the `where Self:Sized` escape hatch for instructing the compiler to "do the old thing" and strip methods off traits when turning them into objects (it's a bit buried as a digression in the individual sub-error sections). But I did what I had time for now.

2 years agoRollup merge of #91364 - FabianWolff:issue-91210-ptr-field, r=oli-obk
Matthias Krüger [Thu, 2 Dec 2021 21:16:11 +0000 (22:16 +0100)]
Rollup merge of #91364 - FabianWolff:issue-91210-ptr-field, r=oli-obk

Improve error message for incorrect field accesses through raw pointers

Fixes #91210.

2 years agoRollup merge of #91329 - Aaron1011:modulo-regions-test, r=jackh726
Matthias Krüger [Thu, 2 Dec 2021 21:16:10 +0000 (22:16 +0100)]
Rollup merge of #91329 - Aaron1011:modulo-regions-test, r=jackh726

Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives`

A global predicate is not guarnatenteed to outlive all regions.
If the predicate involves late-bound regions, then it may fail
to outlive other regions (e.g. `for<'b> &'b bool: 'static` does not
hold)

We now only produce `EvaluatedToOk` when a global predicate has no
late-bound regions - in that case, the ony region that can be present
in the type is 'static

2 years agoRollup merge of #91321 - matthewjasper:constaint-placeholders, r=jackh726
Matthias Krüger [Thu, 2 Dec 2021 21:16:09 +0000 (22:16 +0100)]
Rollup merge of #91321 - matthewjasper:constaint-placeholders, r=jackh726

Handle placeholder regions in NLL type outlive constraints

Closes #76168

2 years agoRollup merge of #89954 - GuillaumeGomez:legacy-const-generic-doc, r=Amanieu
Matthias Krüger [Thu, 2 Dec 2021 21:16:08 +0000 (22:16 +0100)]
Rollup merge of #89954 - GuillaumeGomez:legacy-const-generic-doc, r=Amanieu

Fix legacy_const_generic doc arguments display

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

cc ``@Amanieu``

2 years agoImprove the comments in `Symbol::interner`.
Nicholas Nethercote [Thu, 2 Dec 2021 20:12:31 +0000 (07:12 +1100)]
Improve the comments in `Symbol::interner`.

2 years agoDocument file path case sensitivity
Chris Denton [Thu, 2 Dec 2021 19:37:25 +0000 (19:37 +0000)]
Document file path case sensitivity

2 years agoCode review feedback
Eric Holk [Thu, 2 Dec 2021 19:36:48 +0000 (11:36 -0800)]
Code review feedback

Add a note about `IntoFuture` in error messages where T is not a future.

Change await-into-future.rs to be a run-pass test.

2 years agoMake array::{try_from_fn, try_map} and Iterator::try_find generic over Try
Scott McMurray [Sat, 27 Nov 2021 07:09:34 +0000 (23:09 -0800)]
Make array::{try_from_fn, try_map} and Iterator::try_find generic over Try

Fixes 85115

This only updates unstable functions.

`array::try_map` didn't actually exist before, despite the tracking issue 79711 still being open from the old PR 79713.

2 years agoAuto merge of #91318 - eggyal:reduce-boilerplate-around-infallible-folders, r=jackh726
bors [Thu, 2 Dec 2021 19:12:00 +0000 (19:12 +0000)]
Auto merge of #91318 - eggyal:reduce-boilerplate-around-infallible-folders, r=jackh726

Reduce boilerplate around infallible folders

Further to https://github.com/rust-lang/rust/pull/91230#issuecomment-981059666

r? `@jackh726`

2 years agoDocument how `last_os_error` should be used
Chris Denton [Thu, 2 Dec 2021 17:51:44 +0000 (17:51 +0000)]
Document how `last_os_error` should be used

2 years agoChange to check-pass
Jack Huey [Thu, 2 Dec 2021 17:11:31 +0000 (12:11 -0500)]
Change to check-pass

2 years agoAdd additional test from rust issue number 91068
Frank Steffahn [Thu, 2 Dec 2021 16:46:57 +0000 (17:46 +0100)]
Add additional test from rust issue number 91068

2 years agoImplement write() method for Box<MaybeUninit<T>>
Martin Habovstiak [Mon, 13 Sep 2021 13:44:27 +0000 (15:44 +0200)]
Implement write() method for Box<MaybeUninit<T>>

This adds method similar to `MaybeUninit::write` main difference being
it returns owned `Box`. This can be used to elide copy from stack
safely, however it's not currently tested that the optimization actually
occurs.

Analogous methods are not provided for `Rc` and `Arc` as those need to
handle the possibility of sharing. Some version of them may be added in
the future.

This was discussed in #63291 which this change extends.

2 years agoRename TypeFolderFallible to FallibleTypeFolder
Alan Egerton [Wed, 1 Dec 2021 15:11:24 +0000 (15:11 +0000)]
Rename TypeFolderFallible to FallibleTypeFolder

2 years agoUpdate compiler/rustc_middle/src/ty/fold.rs
eggyal [Wed, 1 Dec 2021 12:48:49 +0000 (12:48 +0000)]
Update compiler/rustc_middle/src/ty/fold.rs

Co-authored-by: lcnr <rust@lcnr.de>