Matthias Krüger
a1a6588162
don't into self
...
don't into()-convert types to themselves
2023-02-16 18:30:25 +01:00
Tshepang Mbambo
f9972313ae
fix some lines, and do a consistency fix
2023-02-16 18:58:08 +02:00
Matthias Krüger
eb9f9c7085
Rollup merge of #108125 - albertlarsan68:moar-compiletest-reviewers, r=wesleywiser
...
Add new people to the compiletest review rotation
`@oli-obk` and `@wesleywiser` volunteered to be part of the review rotation of compiletest in https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.5D.202023-02-16/near/328274017
2023-02-16 17:51:27 +01:00
Matthias Krüger
d77b0221f8
Rollup merge of #108115 - eggyal:unmet_trait_alias_bound, r=compiler-errors
...
Do not ICE on unmet trait alias bounds
Rework of #108093 following feedback on that PR.
Fixes #108072
r? `@compiler-errors`
2023-02-16 17:51:26 +01:00
Matthias Krüger
09a2267e1d
Rollup merge of #108099 - matthiaskrgr:str_to_char, r=GuillaumeGomez
...
use chars instead of strings where applicable
2023-02-16 17:51:26 +01:00
Matthias Krüger
2dc21c0a10
Rollup merge of #108092 - BelovDV:fix-feature-description-pbl, r=petrochenkov
...
note issue for feature(packed_bundled_libs)
Add to feature (introduced in #105601 ) gate description number of issue created for it.
r? `@petrochenkov`
2023-02-16 17:51:25 +01:00
Matthias Krüger
64a4f70c17
Rollup merge of #108090 - WaffleLapkin:if_not_now_then_when…, r=oli-obk
...
`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`
Resurrection of #108079
2023-02-16 17:51:25 +01:00
Matthias Krüger
04128982ff
Rollup merge of #108057 - GuillaumeGomez:fix-reexport-attr-merge, r=notriddle
...
Prevent some attributes from being merged with others on reexports
Final fix for https://github.com/rust-lang/rust/issues/59368 .
As discussed on zulip [here](https://rust-lang.zulipchat.com/#narrow/stream/182449-t-compiler.2Fhelp/topic/Filtering.20sub.20attributes.20in.20ast.3A.3AAttribute ), we need to clone the `Attribute` to be able to filter some parts of it. Then we need to go through the attributes to able to only keep what we want (everything except a few attributes in short).
As for the second commit, when I wrote the test, I realized that the code to traverse all reexports one by one to collect all their attributes was not completely working so I fixed the few issues remaining.
r? `@notriddle`
2023-02-16 17:51:24 +01:00
Matthias Krüger
f65c6e416c
Rollup merge of #106347 - estebank:removal-suggestion, r=TaKO8Ki
...
More accurate spans for arg removal suggestion
Partially address #106304 .
2023-02-16 17:51:24 +01:00
Albert Larsan
32305770d0
Add new people to the compiletest review rotation
2023-02-16 16:15:47 +00:00
bors
c5d1b3ea96
Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errors
...
Optimize `mk_region`
PR #107869 avoiding some interning under `mk_ty` by special-casing `Ty` variants with simple (integer) bodies. This PR does something similar for regions.
r? `@compiler-errors`
2023-02-16 16:11:54 +00:00
Maybe Waffle
5bf6a46032
Replace some then
s with some then_some
s
2023-02-16 15:26:03 +00:00
Maybe Waffle
8751fa1a9a
if $c:expr { Some($r:expr) } else { None }
=>> $c.then(|| $r)
2023-02-16 15:26:00 +00:00
Caio
d75e43c371
Move tests
2023-02-16 11:42:35 -03:00
John Kåre Alsaker
caf29b2727
Remove parallel compiler fix
2023-02-16 14:55:05 +01:00
John Kåre Alsaker
1ae1eac7d2
Add some comments and use inline(always) on query_provided_to_value
2023-02-16 14:55:05 +01:00
John Kåre Alsaker
067bf2ac13
Move provider fields back to rustc_query_impl
2023-02-16 14:55:05 +01:00
John Kåre Alsaker
265e1e968d
Use dropless arena when possible
2023-02-16 14:55:05 +01:00
John Kåre Alsaker
a51a20531d
Factor query arena allocation out from query caches
2023-02-16 14:54:53 +01:00
Ben Kimock
1409cb59b2
Enable instcombine for mutable reborrows
2023-02-16 07:51:23 -05:00
Alan Egerton
540bd986aa
Do not ICE on unmet trait alias bounds
2023-02-16 11:18:08 +00:00
BelovDV
b488508c17
note issue for feature(packed_bundled_libs)
2023-02-16 14:09:55 +03:00
bors
af3c8b2726
Auto merge of #101841 - nnethercote:rm-save-analysis, r=Mark-Simulacrum
...
Remove save-analysis.
Most tests involving save-analysis were removed, but I kept a few where the `-Zsave-analysis` was an add-on to the main thing being tested, rather than the main thing being tested.
Closes https://github.com/rust-lang/rust/issues/43606
2023-02-16 10:35:44 +00:00
bors
4b34c7b766
Auto merge of #108116 - Dylan-DPC:rollup-h3n2vxl, r=Dylan-DPC
...
Rollup of 6 pull requests
Successful merges:
- #106372 (Use id-based thread parking on SOLID)
- #108050 (Fix index out of bounds ICE in `point_at_expr_source_of_inferred_type`)
- #108084 (Constify `RangeBounds`, `RangeX::contains` and `RangeX::is_empty` (where applicable).)
- #108101 (don't clone types that are copy)
- #108102 (simplify some refs)
- #108103 (be nice and don't slice)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
2023-02-16 07:15:13 +00:00
Dylan DPC
bb1e9846b2
Rollup merge of #108103 - matthiaskrgr:lice, r=compiler-errors
...
be nice and don't slice
These are already slices, no need to slice them again
2023-02-16 11:40:22 +05:30
Dylan DPC
7bde7b73f1
Rollup merge of #108102 - matthiaskrgr:ref, r=compiler-errors
...
simplify some refs
2023-02-16 11:40:21 +05:30
Dylan DPC
ef0b12189e
Rollup merge of #108101 - matthiaskrgr:noclonecopy, r=compiler-errors
...
don't clone types that are copy
2023-02-16 11:40:21 +05:30
Dylan DPC
323e5e823b
Rollup merge of #108084 - ink-feather-org:const_range, r=dtolnay
...
Constify `RangeBounds`, `RangeX::contains` and `RangeX::is_empty` (where applicable).
cc `@fee1-dead`
`@rustbot` label +T-libs-api -T-libs
Tracking issue: #108082
2023-02-16 11:40:20 +05:30
Dylan DPC
5fac20f87c
Rollup merge of #108050 - martingms:issue-108042-fix, r=compiler-errors
...
Fix index out of bounds ICE in `point_at_expr_source_of_inferred_type`
There might be more type params than args to a method call, which leads to an index out of bounds panic.
I'm not familiar with this code at all, so unsure whether this is the right fix, but at least this patch fixes #108042 for me (I hit the same issue with similar code)
2023-02-16 11:40:20 +05:30
Dylan DPC
0c5bbca12d
Rollup merge of #106372 - joboet:solid_id_parking, r=m-ou-se
...
Use id-based thread parking on SOLID
By using the [`slp_tsk`/`wup_tsk`](https://cs.uwaterloo.ca/~brecht/courses/702/Possible-Readings/embedded/uITRON-4.0-specification.pdf ) system functions instead of an event-flag structure, `Parker` becomes cheaper to construct and SOLID can share the implementation used by NetBSD and SGX.
ping ``@kawadakk``
r? ``@m-ou-se``
``@rustbot`` label +T-libs
2023-02-16 11:40:19 +05:30
Nicholas Nethercote
22a5125a36
Remove save-analysis.
...
Most tests involving save-analysis were removed, but I kept a few where
the `-Zsave-analysis` was an add-on to the main thing being tested,
rather than the main thing being tested.
For `x.py install`, the `rust-analysis` target has been removed.
For `x.py dist`, the `rust-analysis` target has been kept in a
degenerate form: it just produces a single file `reduced.json`
indicating that save-analysis has been removed. This is necessary for
rustup to keep working.
Closes #43606 .
2023-02-16 15:14:45 +11:00
bors
639377ed73
Auto merge of #107449 - saethlin:enable-copyprop, r=oli-obk
...
Enable CopyProp
r? `@tmiasko`
`@rustbot` label +A-mir-opt
2023-02-16 03:44:37 +00:00
Michael Goulet
95f35fe443
Deny some late-bound ty/ct in some positions, add tests
2023-02-16 03:39:59 +00:00
Michael Goulet
915703ca7a
A bit more work on late-bound consts
2023-02-16 03:39:59 +00:00
Michael Goulet
3f521b3542
Be better about bound vars
2023-02-16 03:39:59 +00:00
Michael Goulet
52f82354dc
Make things actually work
2023-02-16 03:39:59 +00:00
Michael Goulet
eff2cb7760
Rename some region-specific stuff
2023-02-16 03:39:59 +00:00
Michael Goulet
262a344d72
Add feature gate for non_lifetime_binders
2023-02-16 03:39:58 +00:00
bors
dc7a676778
Auto merge of #108096 - matthiaskrgr:rollup-ncexzf6, r=matthiaskrgr
...
Rollup of 10 pull requests
Successful merges:
- #107034 (Migrating rustc_infer to session diagnostics (part 4))
- #107972 (Fix unintentional UB in ui tests)
- #108010 (Make `InferCtxt::can_eq` and `InferCtxt::can_sub` return booleans)
- #108021 (make x look for x.py if shell script does not exist)
- #108047 (Use `target` instead of `machine` for mir interpreter integer handling.)
- #108049 (Don't suggest `#[doc(hidden)]` trait methods with matching return type)
- #108066 (Better names for illegal impl trait positions)
- #108076 (rustdoc: Use more let chain)
- #108088 (clarify correctness of `black_box`)
- #108094 (Demonstrate I/O in File examples)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
2023-02-16 00:12:54 +00:00
Matthias Krüger
e17cd0c019
be nice and don't slice
...
These are already slices, no need to slice them again
2023-02-16 00:06:51 +01:00
Matthias Krüger
46f895cadd
simplify some refs
2023-02-15 23:48:01 +01:00
Matthias Krüger
e087f61075
don't clone types that are copy
2023-02-15 23:34:25 +01:00
Matthias Krüger
0400c68517
use chars instead of strings where applicable
2023-02-15 22:54:57 +01:00
bors
c5283576ec
Auto merge of #108012 - compiler-errors:issue-107999, r=oli-obk
...
Don't ICE in `might_permit_raw_init` if reference is polymorphic
Emitting optimized MIR for a polymorphic function may require computing layout of a type that isn't (yet) known. This happens in the instcombine pass, for example. Let's fail gracefully in that condition.
cc `@saethlin`
fixes #107999
2023-02-15 20:56:07 +00:00
Matthias Krüger
55471015a0
Rollup merge of #108094 - kornelski:fsdocs, r=cuviper
...
Demonstrate I/O in File examples
I've noticed that some Rust novices unnecessarily reinvent `std::fs::{read,write}`, presumably because they search for equivalents of `fopen` + `fwrite`. I've added links to `std::fs::{read,write}` in the docs.
The `File` examples were only showing how to open a file, but not how to use the opened handle, unnecessarily leaving out the next step. I've added a variety of different uses of file handles to their examples in docs.
2023-02-15 21:31:00 +01:00
Matthias Krüger
863cd15132
Rollup merge of #108088 - callumio:issue-107957, r=dtolnay
...
clarify correctness of `black_box`
Resolves #107957 , as described in the related issue.
No code changes, just documentation.
2023-02-15 21:30:59 +01:00
Matthias Krüger
09ab35b574
Rollup merge of #108076 - GuillaumeGomez:more-let-chain, r=notriddle
...
rustdoc: Use more let chain
Got the idea after yesterday's review.
r? `@notriddle`
2023-02-15 21:30:59 +01:00
Matthias Krüger
8259755069
Rollup merge of #108066 - compiler-errors:better-labels-for-bad-impl-trait, r=petrochenkov
...
Better names for illegal impl trait positions
Just some wording tweaks, no behavior changes.
2023-02-15 21:30:58 +01:00
Matthias Krüger
897f56ed28
Rollup merge of #108049 - clubby789:dont-suggest-unstable, r=compiler-errors
...
Don't suggest `#[doc(hidden)]` trait methods with matching return type
Fixes #107983 , addressing the bad suggestion.
The test can probably be made more specific to this case, but I'm unsure how.
`@rustbot` label +A-diagnostics
2023-02-15 21:30:58 +01:00
Matthias Krüger
31d7e514ab
Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJung
...
Use `target` instead of `machine` for mir interpreter integer handling.
The naming of `machine` only makes sense from a mir interpreter internals perspective, but outside users talk about the `target` platform. As per https://github.com/rust-lang/rust/pull/108029#issuecomment-1429791015
r? `@RalfJung`
2023-02-15 21:30:57 +01:00