about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorLines
2025-10-01Rollup merge of #147213 - ivmarkov:fix-hostname-espidf, r=joboetStuart Cook-1/+1
Fix broken STD build for ESP-IDF PRs rust-lang/rust#147162 and rust-lang/rust#146937 did [broke](https://github.com/esp-rs/esp-idf-sys/actions/runs/18151791720/job/51663969786) the STD build for `target_os = "espidf"` because that target [does not have neither a `gethostname`, not a `libc::_SC_HOST_NAME_MAX` by default](https://github.com/espressif/esp-idf/issues/14849). While there is a [3rd party component for this syscall](https://components.espressif.com/components/espressif/sock_utils/versions/0.2.2/readme) in the ESP-IDF component registry, I don't think we should use it, because it does not come with ESP-IDF by default. Therefore, the one-liner fix just re-routes ESP-IDF into the `unsupported` branch.
2025-10-01Rollup merge of #147209 - jieyouxu:remove-no-remap-src-base, r=ZalatharStuart Cook-8/+5
Remove `no-remap-src-base` from tests Previously in the `//`-compiletest-directive times, `no-remap-src-base` was implemented as a special `no-*` directive parsing. In the migration from `//` -> `//`@`,` the `// no-remap-src-base` directive was lost, most likely because it had no effect -- the default is not remapping `src-base`. So remove occurrences of `no-remap-src-base`, as these are not valid directives. r? `@Zalathar` (since we discussed this on discord, or compiler)
2025-10-01Rollup merge of #147200 - ZuseZ4:fix-autodiff-emptry-ret, r=ZalatharStuart Cook-6/+54
Fix autodiff empty ret regression closes https://github.com/rust-lang/rust/issues/147144 The two gsoc summer projects caused a bit of churn, which was to be expected, especially since we don't run autodiff in CI yet. This adds a void return testcase that we should have had anyway, and fixes the regression. r? `@Zalathar` (Just guessing since I've seen you in a few LLVM PRs and Oli is probably still busy. Feel free to reroll!)
2025-10-01Rollup merge of #147199 - jdonszelmann:outdated-comment-infctx, r=lcnrStuart Cook-17/+2
remove outdated comment in (inner) `InferCtxt` This comment seems to have stopped being relevant around 3 years ago after https://github.com/rust-lang/rust/commit/9f95c605f83bcf4c158ea4b3fd5a7abb825a4178. A map? what map? :P r? `@lcnr`
2025-10-01Rollup merge of #147189 - yotamofek:pr/rustdoc/highlight-optimizations-2, ↵Stuart Cook-19/+80
r=GuillaumeGomez Replace `rustc_span::Span` with a stripped down version for librustdoc's highlighter While profiling rustdoc's syntax highlighter, I noticed a lot of time being spent in the `Span` interner, due to the highlighter creating a lot of (new) spans. Since the only data from the `Span` that we use is the `hi` and `lo` byte positions - I replaced the regular `Span` with a simple one with two fields, and in my benchmarks it seemed to make a big dent in the highlighter's perf, so thought I would see what the perf runner says.
2025-10-01Rollup merge of #147188 - Kobzol:remove-compiletest-stage-1, r=Zalathar,jieyouxuStuart Cook-8/+1
Remove usage of `compiletest-use-stage0-libtest` from CI It shouldn't be needed anymore after https://github.com/rust-lang/rust/pull/146929. r? `@Zalathar`
2025-10-01Rollup merge of #147180 - lcnr:forced_ambiguity-error, r=jdonszelmannStuart Cook-1/+90
add tests fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/105 the index test is for rust-lang/rust#146637 r? types
2025-10-01Rollup merge of #147170 - Zalathar:directive, r=jieyouxuStuart Cook-177/+128
compiletest: Pass around `DirectiveLine` instead of bare strings This is an incremental step towards being able to clean up and centralize compiletest directive parsing. My original plan was to add features to `DirectiveLine`, and then gradually migrate parsing code to use those features. However, that turned out to be impractical, because of how the existing directive parsers call each other. So instead this PR focuses on getting them to all take `DirectiveLine` instead of bare strings, to enable incremental work in the future. Because this is part of an ongoing cleanup, I've prioritised clean diffs over nice code, because much of this code is going to be modified again when `DirectiveLine` is more capable. r? jieyouxu
2025-10-01Rollup merge of #146980 - hkBst:hir-analysis-1, r=jdonszelmannStuart Cook-28/+25
simplify setup_constraining_predicates, and note it is potentially cubic
2025-10-01Rollup merge of #146918 - lcnr:add-regression-test, r=jdonszelmannStuart Cook-0/+30
add regression test closes rust-lang/rust#128887 the errors in that issue are due to two separate issues: - MIR inlining causing the trait solver to hit the recursion limit (partially fixed in rust-lang/rust#129714) - using subtyping in method selection for paths (fixed in https://github.com/rust-lang/rust/pull/129073) We moved any remaining issues due to MIR inlining into https://github.com/rust-lang/rust/issues/131960, but keeping rust-lang/rust#128887 open as well seems unhelpful and confusing.
2025-10-01Don't create a top-level `true` directory when running UI testsZalathar-3/+4
2025-10-01Fix broken STD build for ESP-IDFivmarkov-1/+1
2025-10-01indexing: reword helpMarijn Schouten-34/+30
Co-authored-by: beef <ent3rm4n@gmail.com>
2025-10-01Remove mention of `compiletest-use-stage0-libtest` from the bootstrap ↵Jakub Beránek-3/+0
example config
2025-10-01tests: remove `no-remap-src-base`Jieyou Xu-8/+5
Previously in the `//`-compiletest-directive times, this was implemented as a special `no-*` directive parsing. In the migration from `//` -> `//@`, the `// no-remap-src-base` directive was lost, most likely because it had no effect -- the default is not remapping `src-base`. So remove occurrences of `no-remap-src-base`, as these are not valid directives.
2025-10-01Auto merge of #147198 - matthiaskrgr:rollup-b0ryvvu, r=matthiaskrgrbors-45/+243
Rollup of 6 pull requests Successful merges: - rust-lang/rust#143069 (Add fast-path for accessing the current thread id) - rust-lang/rust#146518 (Improve the documentation around `ZERO_AR_DATE`) - rust-lang/rust#146596 (Add a dummy codegen backend) - rust-lang/rust#146617 (Don’t suggest foreign `doc(hidden)` types in "the following other types implement trait" diagnostics) - rust-lang/rust#146635 (cg_llvm: Stop using `as_c_char_ptr` for coverage-related bindings) - rust-lang/rust#147184 (Fix the bevy implied bounds hack for the next solver) r? `@ghost` `@rustbot` modify labels: rollup
2025-09-30updating tests to not break from new typetree metadataManuel Drehwald-5/+5
2025-09-30add empty struct ret testcaseManuel Drehwald-0/+41
2025-09-30fix void and empty struct retManuel Drehwald-1/+8
2025-10-01enable tests on next-solver for rust-lang/trait-system-refactor-initiative/237Jana Dönszelmann-2/+8
2025-10-01add test for trait-system-refactor-initiative/239Jana Dönszelmann-0/+15
2025-09-30remove outdated context (inner) infctxJana Dönszelmann-17/+2
2025-09-30Rollup merge of #147184 - jdonszelmann:bevy-outlives-bound, r=lcnrMatthias Krüger-3/+15
Fix the bevy implied bounds hack for the next solver The diff is trivial, of course, and basically what you already suggested. Mostly dug around a bunch to learn. I hope this is roughly what you had in mind. Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/236. r? `@lcnr`
2025-09-30Rollup merge of #146635 - Zalathar:llvm-cov, r=SparrowLiiMatthias Krüger-17/+26
cg_llvm: Stop using `as_c_char_ptr` for coverage-related bindings [As explained by a note in `ffi.rs`](https://github.com/rust-lang/rust/blob/8a1b39995e5b630c5872f5de5079f1f569bd5ac2/compiler/rustc_codegen_llvm/src/llvm/ffi.rs#L4-L11), passing strings and byte slices through FFI is more convenient if we take advantage of the fact that `*const c_uchar` and `*const c_char` have the same ABI. Doing so avoids having to rely on a special helper function, since we can just call `as_ptr` instead. (The same logic applies to every other binding that currently uses the `as_c_char_ptr` helper; I just haven't adjusted all of them yet.) --- As a drive-by change, this PR also marks some coverage-related FFI bindings as `safe`.
2025-09-30Rollup merge of #146617 - Jules-Bertholet:E0277-NOFORN, r=SparrowLiiMatthias Krüger-15/+94
Don’t suggest foreign `doc(hidden)` types in "the following other types implement trait" diagnostics Fixes https://github.com/rust-lang/rust/issues/132024. ``@rustbot`` label A-diagnostics T-compiler
2025-09-30Rollup merge of #146596 - bjorn3:dummy_backend, r=SparrowLiiMatthias Krüger-4/+70
Add a dummy codegen backend This allows building a rustc capable of running the frontend without any backend present. While this may not seem all that useful, it allows running the frontend of rustc to report errors or running miri to interpret a program without any backend present. This is useful when you are trying to say run miri in the browser as upstream LLVM can't be compiled for wasm yet. Or to run rustc itself in miri like I did a while ago and caught some UB.
2025-09-30Rollup merge of #146518 - madsmtm:ld-reproducible-doc, r=SparrowLiiMatthias Krüger-3/+13
Improve the documentation around `ZERO_AR_DATE` In particular, document why we don't use the new `-reproducible` flag. I went through [the source for Apple's old linker](https://github.com/apple-oss-distributions/ld64), and compared the versions with [the mapping to Xcode versions on Wikipedia](https://en.wikipedia.org/wiki/Xcode) to find the relevant Xcode versions for these features. r? compiler
2025-09-30Rollup merge of #143069 - jsimmons:current-thread-id-accessor, ↵Matthias Krüger-3/+25
r=joshtriplett,tgross35 Add fast-path for accessing the current thread id Accessing the thread id is often used in profiling and debugging, as well as some approaches for sound single-threaded access to shared data. Currently the only way to access the thread id is by first obtaining a handle to the current thread. While this is not exactly slow, it does require an atomic inc-ref and dec-ref operation, as well as the injection of `Thread`'s drop code into the caller. This publicly exposes the existing fast-path for accessing the current thread id. edit: ACP: https://github.com/rust-lang/libs-team/issues/650
2025-09-30clone region obligations instead of taking in implied bounds hackJana Dönszelmann-1/+11
2025-09-30Auto merge of #147197 - matthiaskrgr:rollup-du5e4pv, r=matthiaskrgrbors-142/+409
Rollup of 6 pull requests Successful merges: - rust-lang/rust#142506 (Add `Path::has_trailing_sep` and related methods) - rust-lang/rust#146886 (Add repr(align(2)) to RcInner and ArcInner) - rust-lang/rust#147166 (several small `proc_macro` cleanups) - rust-lang/rust#147172 (bootstrap: build bootstrap docs with in-tree rustdoc) - rust-lang/rust#147181 (cg_llvm: Replace enum `MetadataType` with a list of `MetadataKindId` constants) - rust-lang/rust#147187 (remove unnecessary test directives) r? `@ghost` `@rustbot` modify labels: rollup
2025-09-30Replace `rustc_span::Span` with a stripped down version for librustdoc's ↵Yotam Ofek-18/+65
highlighter
2025-09-30Add fast-path for accessing the current thread idJosh Simmons-3/+25
Accessing the thread id is often used in profiling and debugging, as well as some approaches for sound single-threaded access to data. Currently the only way to access the thread id is by first obtaining a handle to the current thread. While this is not exactly slow, it does require an atomic inc-ref and dec-ref operation, as well as the injection of `Thread`'s drop code into the caller. This publicly exposes the existing fast-path for accessing the current thread id.
2025-09-30Rollup merge of #147187 - lcnr:rarw, r=lqdMatthias Krüger-7/+0
remove unnecessary test directives that's... odd
2025-09-30Rollup merge of #147181 - Zalathar:fixed-metadata, r=petrochenkovMatthias Krüger-51/+141
cg_llvm: Replace enum `MetadataType` with a list of `MetadataKindId` constants The metadata kind ID values declared in `MetadataType` are not part of the LLVM-C API, and are not machine-checked. If a value that we use ever goes out of sync with LLVM, the resulting bugs could be difficult to track down. And the existing values lack any clear indication of what LLVM declarations they correspond to. On top of that, we currently have another way of expressing metadata kind IDs in the form of `MetadataKindId`, which creates confusing inconsistency in LLVM bindings. This PR therefore consolidates all usage of “fixed” metadata kind IDs into one list of `MetadataKindId` constants, which is backed by static assertions in our C++ code that match them up with named anonymous-enum variants in `llvm::LLVMContext`.
2025-09-30Rollup merge of #147172 - notriddle:tooldoc, r=KobzolMatthias Krüger-18/+21
bootstrap: build bootstrap docs with in-tree rustdoc All of the docs need to be built with the same rustdoc. Otherwise, any change to the search index breaks everything, because the two rustdocs don't agree on the format. Fixes https://github.com/rust-lang/rust/issues/147142
2025-09-30Rollup merge of #147166 - cyrgani:proc-macro-cleanup-1, r=petrochenkovMatthias Krüger-54/+14
several small `proc_macro` cleanups
2025-09-30Rollup merge of #146886 - taiki-e:rc-inner-align, r=Mark-SimulacrumMatthias Krüger-8/+12
Add repr(align(2)) to RcInner and ArcInner `Rc` currently assumes that `RcInner` has at least 2-byte alignment, but on AVR, `usize` has 1-byte alignment (this is because the AVR has 1-byte register sizes, so having 2-byte alignment is generally useless), breaking this assumption. https://github.com/rust-lang/rust/blob/9f32ccf35fb877270bc44a86a126440f04d676d0/library/alloc/src/rc.rs#L3005-L3008 This PR adds `repr(align(2))` to force `RcInner` to always have at least 2-byte alignment. Note that `ArcInner` doesn't need `repr(align(2))` because atomic types have the alignment same as its size. This PR adds a comment about this.
2025-09-30Rollup merge of #142506 - clarfonthey:path-trailing-sep, r=joboetMatthias Krüger-4/+221
Add `Path::has_trailing_sep` and related methods Implements rust-lang/libs-team#335. Tracking issue: rust-lang/rust#142503 Notable differences from ACP: * `trim_trailing_sep` was added to `Path` since it felt reasonable to ensure that the inverse operation was available. * Per suggestion of `@kennytm,` added `push_trailing_sep` and `pop_trailing_sep` to `PathBuf` in addition to `set_trailing_sep`. This also updates some of the docs on various `Path` methods to use the term "trailing separator" instead of "trailing slash" for consistency.
2025-09-30Add `#[bench]` for librustdoc's syntax highlighterYotam Ofek-1/+15
2025-09-30iter repeat: add tests for new count and last behaviorMarijn Schouten-0/+11
2025-09-30Split Bound into Canonical and Boundjackh726-247/+391
2025-09-30Auto merge of #147186 - Zalathar:rollup-sza9wxl, r=Zalatharbors-161/+499
Rollup of 5 pull requests Successful merges: - rust-lang/rust#140916 (Fix unuseful span in type error in some format_args!() invocations) - rust-lang/rust#146011 (Point at fn bound that introduced lifetime obligation) - rust-lang/rust#146649 (cmse: fix 'region variables should not be hashed') - rust-lang/rust#147109 (Rename various "concrete opaque type" things to say "hidden type") - rust-lang/rust#147167 (Don't condition RUSTDOC_LIBDIR on `--no-doc`) r? `@ghost` `@rustbot` modify labels: rollup
2025-09-30bootstrap: build bootstrap docs with in-tree rustdocMichael Howell-18/+21
All of the docs need to be built with the same rustdoc. Otherwise, any change to the search index breaks everything, because the two rustdocs don't agree on the format.
2025-09-30Merge pull request #20769 from ChayimFriedman2/ns-cleanup4Chayim Refael Friedman-1/+23
minor: Add regression test for another (long-standing) bug fixed by the new solver
2025-09-30Add regression test for another (long-standing) bug fixed by the new solverChayim Refael Friedman-1/+23
2025-09-30Remove usage of `compiletest-use-stage0-libtest` from CIJakub Beránek-5/+1
2025-09-30Add repr(align(2)) to RcInner and ArcInnerTaiki Endo-8/+12
2025-09-30remove unnecessary test directiveslcnr-7/+0
2025-09-30Merge pull request #20768 from ChayimFriedman2/std-error-syntaxerrorChayim Refael Friedman-0/+2
minor: Impl `std::error::Error` for `SyntaxError`
2025-09-30Impl `std::error::Error` for `SyntaxError`Chayim Refael Friedman-0/+2