about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorLines
2023-10-25address review commentsRyan Mehri-70/+100
2023-10-25FileCheck unwrap_uncheckedRyan Mehri-1/+2
2023-10-25FileCheck unsized_argumentRyan Mehri-1/+2
2023-10-25FileCheck unchecked_shiftsRyan Mehri-1/+8
2023-10-25FileCheck issue_78442Ryan Mehri-1/+5
2023-10-25FileCheck inline_scopes_parentingRyan Mehri-4/+8
2023-10-25FileCheck inline_as_ref_as_mutRyan Mehri-1/+8
2023-10-25FileCheck inline_trait_methodRyan Mehri-1/+2
2023-10-25FileCheck inline_trait_method_2Ryan Mehri-1/+3
2023-10-25FileCheck inline_specializationRyan Mehri-1/+2
2023-10-25FileCheck inline_retagRyan Mehri-1/+2
2023-10-25FileCheck inline_optionsRyan Mehri-1/+3
2023-10-25FileCheck inline_into_box_placeRyan Mehri-1/+2
2023-10-25FileCheck inline_instruction_setRyan Mehri-1/+10
2023-10-25FileCheck inline_coroutineRyan Mehri-12/+14
2023-10-25FileCheck inline_divergingRyan Mehri-1/+7
2023-10-25FileCheck inline_closureRyan Mehri-1/+3
2023-10-25FileCheck inline_closure_capturesRyan Mehri-1/+3
2023-10-25FileCheck inline_closure_borrows_argRyan Mehri-1/+3
2023-10-25FileCheck inline_box_fnRyan Mehri-1/+2
2023-10-25FileCheck inline_any_operandRyan Mehri-1/+2
2023-10-25FileCheck exponential_runtimeRyan Mehri-1/+8
2023-10-25FileCheck dyn_traitRyan Mehri-1/+8
2023-10-25FileCheck dont_ice_on_generic_rust_callRyan Mehri-1/+2
2023-10-25FileCheck cycleRyan Mehri-1/+8
2023-10-25FileCheck caller_with_trivial_boundRyan Mehri-1/+2
2023-10-25FileCheck asm_unwindRyan Mehri-1/+2
2023-10-25Auto merge of #117180 - matthiaskrgr:rollup-rxhl6ep, r=matthiaskrgrbors-372/+834
Rollup of 7 pull requests Successful merges: - #117111 (Remove support for alias `-Z instrument-coverage`) - #117141 (Require target features to match exactly during inlining) - #117152 (Fix unwrap suggestion for async fn) - #117154 (implement C ABI lowering for CSKY) - #117159 (Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGuaranteed`) - #117163 (compiletest: Display compilation errors in mir-opt tests) - #117173 (Make `Iterator` a lang item) r? `@ghost` `@rustbot` modify labels: rollup
2023-10-25Rollup merge of #117173 - oli-obk:gen_fn_split2, r=compiler-errorsMatthias Krüger-0/+8
Make `Iterator` a lang item r? `@compiler-errors` pulled out of https://github.com/rust-lang/rust/pull/116447 We're doing this change on its own, because iterator was the one diagnostic item that was load bearing on us correctly emitting errors about `diagnostic_item` mis-uses. It was used in some diagnostics as an early abort, before the actual checks of the diagnostic, so effectively the compiler was *unconditionally* checking for the iterator diagnostic item, even if it didn't emit any diagnostics. Changing those uses to use the lang item, caused us not to invoke the `all_diagnostic_items` query anymore, which then caused us to miss some issues around diagnostic items until they were actually used. The reason we keep the diagnostic item around is that clippy uses it a lot and having `Iterator` be a lang item and a diagnostic item at the same time doesn't cost us anything, but makes clippy's internal code simpler
2023-10-25Rollup merge of #117163 - tmiasko:compiletest-mir-opt, r=compiler-errorsMatthias Krüger-1/+1
compiletest: Display compilation errors in mir-opt tests Previously when compilation failed the `check_mir_dump` would panic first, so we would never display the compiler output.
2023-10-25Rollup merge of #117159 - oli-obk:error_shenanigans, r=estebankMatthias Krüger-80/+661
Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGuaranteed` Even if that error is only emitted by `check_mod_item_types`. fixes https://github.com/rust-lang/rust/issues/117153 A cleaner refactoring would merge/chain these queries in ways that ensure we only actually get an `ErrorGuaranteed` if there was an error emitted.
2023-10-25Rollup merge of #117154 - Dirreke:csky-unknown-linux-gunabiv2, r=bjorn3Matthias Krüger-10/+38
implement C ABI lowering for CSKY fix https://github.com/rust-lang/compiler-builtins/issues/551 ​Reference: [CSKY ABI Manual](https://occ-oss-prod.oss-cn-hangzhou.aliyuncs.com/resource//1695027452256/T-HEAD_800_Series_ABI_Standards_Manual.pdf) ​ Reference: [Clang CSKY lowering code](https://github.com/llvm/llvm-project/blob/4a074f32a6914f2a8d7215d78758c24942dddc3d/clang/lib/CodeGen/Targets/CSKY.cpp#L76-L162) r? `@bjorn3`
2023-10-25Rollup merge of #117152 - compiler-errors:no-ret-coercion, r=chenyukangMatthias Krüger-12/+57
Fix unwrap suggestion for async fn Use `body_fn_sig` to get the expected return type of the function instead of `ret_coercion` in `FnCtxt`. This avoids accessing the `ret_coercion` when it's already mutably borrowed (e.g. when checking `return` expressions). Fixes #117144 r? `@chenyukang`
2023-10-25Rollup merge of #117141 - tmiasko:inline-target-features, r=oli-obkMatthias Krüger-230/+44
Require target features to match exactly during inlining In general it is not correct to inline a callee with a target features that are subset of the callee. Require target features to match exactly during inlining. The exact match could be potentially relaxed, but this would require identifying specific feature that are allowed to differ, those that need to match, and those that can be present in caller but not in callee. This resolves MIR part of #116573. For other concerns with respect to the previous implementation also see areInlineCompatible in LLVM.
2023-10-25Rollup merge of #117111 - Zalathar:zinstrument, r=compiler-errorsMatthias Krüger-39/+25
Remove support for alias `-Z instrument-coverage` This flag was stabilized in rustc 1.60.0 (2022-04-07) as `-C instrument-coverage`, but the old unstable flag was kept around (with a warning) as an alias to ease migration. It should now be reasonable to remove the somewhat tricky code that implemented that alias. Fixes #116980.
2023-10-25Auto merge of #117172 - matthiaskrgr:rollup-s56bm2f, r=matthiaskrgrbors-416/+1820
Rollup of 7 pull requests Successful merges: - #116801 (Add test for 113326) - #117133 (Merge `impl_wf_inference` (`check_mod_impl_wf`) check into coherence checking) - #117136 (Intern `LocalDefId` list from `opaque_types_defined_by` query) - #117150 (Update cargo) - #117158 (Update THIR unused_unsafe lint) - #117160 (Fix typo in test comment) - #117168 (Fix some coroutine sentences that don't make sense anymore.) r? `@ghost` `@rustbot` modify labels: rollup
2023-10-25Make `Iterator` a lang itemOli Scherer-0/+8
2023-10-25Rollup merge of #117168 - oli-obk:coroutine_cleanups, r=JohnTitorMatthias Krüger-2/+2
Fix some coroutine sentences that don't make sense anymore. These happened during the `generator` -> `coroutine` rename. Found thanks to `@pthariensflame` for their thorough review of the `generator` -> `coroutine` rename https://github.com/rust-lang/rust/pull/116958#issuecomment-1777756937
2023-10-25Rollup merge of #117160 - cuishuang:master, r=lqdMatthias Krüger-1/+1
Fix typo in test comment
2023-10-25Rollup merge of #117158 - matthewjasper:thir-unused-unsafe, r=oli-obkMatthias Krüger-395/+1683
Update THIR unused_unsafe lint Updates THIR unsafeck behaviour to match the changes from #93678
2023-10-25Rollup merge of #117150 - weihanglo:update-cargo, r=weihangloMatthias Krüger-0/+0
Update cargo 2 commits in d2f6a048529eb8e9ebc55d793abd63456c98fac2..df3509237935f9418351b77803df7bc05c009b3d 2023-10-20 18:25:30 +0000 to 2023-10-24 23:09:01 +0000 - Fix unused_imports warning (rust-lang/cargo#12876) - Warn about crate name's format when creating new crate (rust-lang/cargo#12766) r? ghost
2023-10-25Rollup merge of #117136 - compiler-errors:defid-list, r=oli-obkMatthias Krüger-3/+16
Intern `LocalDefId` list from `opaque_types_defined_by` query r? oli-obk
2023-10-25Rollup merge of #117133 - compiler-errors:coherence-constrained, r=oli-obkMatthias Krüger-15/+87
Merge `impl_wf_inference` (`check_mod_impl_wf`) check into coherence checking Problem here is that we call `collect_impl_trait_in_trait_types` when checking `check_mod_impl_wf` which is performed before coherence. Due to the `tcx.sess.track_errors`, since we end up reporting an error, we never actually proceed to coherence checking, where we would be emitting a more useful impl overlap error. This change means that we may report more errors in some cases, but can at least proceed far enough to leave a useful message for overlapping traits with RPITITs in them. Fixes #116982 r? types
2023-10-25Rollup merge of #116801 - clubby789:issue-113326-test, r=compiler-errorsMatthias Krüger-0/+31
Add test for 113326 Closes #113326 Bisecting points to #113636 as the fix
2023-10-25Auto merge of #117165 - RalfJung:miri, r=RalfJungbors-250/+442
Miri subtree update r? `@ghost`
2023-10-25Fix some coroutine sentences that don't make sense anymore.Oli Scherer-2/+2
These happened during the `generator` -> `coroutine` rename.
2023-10-25Auto merge of #117113 - celinval:smir-stable-ty, r=oli-obkbors-421/+155
Remove fold code and add `Const::internal()` to StableMIR We are not planning to support user generated constant in the foreseeable future, so we are cleaning up the fold logic and user created type for now. Users should use `Instance::resolve` in order to trigger monomorphization. The Instance::resolve was however incomplete, since we weren't handling internalizing constants yet. Thus, I added that. I decided to keep the `Const` fields private in case we decide to translate them lazily.
2023-10-25compiletest: Display compilation errors in mir-opt testsTomasz Miąsko-1/+1
2023-10-25implement C ABI lowering for CSKYdirreke-10/+38
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return ↵Oli Scherer-80/+661
`ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types`
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-04 01:15:00 +0000