about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-03-12Avoid lowering code under dead SwitchInt targetsBen Kimock-3/+126
2024-03-12Fix WF for AsyncFnKindHelper in new trait solverMichael Goulet-2/+3
2024-03-12s/mt/mutability/Oli Scherer-5/+11
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-1/+13
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-4/+6
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-7/+7
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-4/+4
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-6/+40
2024-03-11Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercotebors-68/+68
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote-5/+5
2024-03-11Rename `IntoDiagnostic` as `Diagnostic`.Nicholas Nethercote-5/+5
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-59/+59
2024-03-10MIR printing: print the path of uneval'd const; refer to promoteds in a consi...Ralf Jung-4/+17
2024-03-10Introduce perma-unstable `wasm-c-abi` flagdaxpedda-1/+15
2024-03-10Auto merge of #122064 - Zoxc:dep-graph-encode-tweaks, r=cjgillotbors-1/+1
2024-03-10Auto merge of #121662 - saethlin:precondition-unification, r=RalfJungbors-4/+12
2024-03-09Rollup merge of #122237 - fee1-dead-contrib:rmord, r=compiler-errorsMatthias Krüger-1/+1
2024-03-09Remove `Ord` from `ClosureKind`Deadbeef-1/+1
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-5/+2
2024-03-09Auto merge of #122010 - oli-obk:intrinsics3.0, r=pnkfelixbors-7/+11
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-4/+12
2024-03-08Stabilize associated type boundsMichael Goulet-1/+1
2024-03-08Rollup merge of #122197 - lcnr:proof-tree-braces, r=BoxyUwUMatthias Krüger-17/+30
2024-03-08inspect formatter: add braceslcnr-17/+30
2024-03-08Auto merge of #121500 - oli-obk:track_errors12, r=petrochenkovbors-4/+22
2024-03-08Auto merge of #122182 - matthiaskrgr:rollup-gzimi4c, r=matthiaskrgrbors-94/+97
2024-03-08Rollup merge of #122103 - compiler-errors:taits-capture-everything, r=oli-obkMatthias Krüger-22/+10
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-72/+87
2024-03-08Auto merge of #120268 - DianQK:otherwise_is_last_variant_switchs, r=oli-obkbors-2/+36
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-10/+10
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-12/+0
2024-03-08Update MIR with `MirPatch` in `UninhabitedEnumBranching`DianQK-2/+25
2024-03-07Rollup merge of #122141 - klensy:sync-me, r=lcnrGuillaume Gomez-2/+4
2024-03-07Rollup merge of #121089 - oli-obk:create_def_feed, r=petrochenkovGuillaume Gomez-8/+72
2024-03-07Replace the default branch with an unreachable branch If it is the last variantDianQK-0/+11
2024-03-07sync (try_)instantiate_mir_and_normalize_erasing_regions implementationklensy-2/+4
2024-03-07Merge collect_mod_item_types query into check_well_formedOli Scherer-4/+22
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-12/+14
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-5/+0
2024-03-07Auto merge of #122113 - matthiaskrgr:rollup-5d1jnwi, r=matthiaskrgrbors-2/+2
2024-03-06Rollup merge of #122027 - compiler-errors:rpitit-cycle, r=spastorinoMatthias Krüger-2/+2
2024-03-06Rollup merge of #121382 - nnethercote:rework-untranslatable_diagnostic-lint, ...Matthias Krüger-3/+4
2024-03-06Add a profiler reference to `GraphEncoder`John Kåre Alsaker-1/+1
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-8/+33
2024-03-06Auto merge of #122041 - matthiaskrgr:rollup-imsmdke, r=matthiaskrgrbors-9/+0
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-116/+75
2024-03-05Move visitor utils to `rustc_ast_ir`Jason Newcomb-2/+1
2024-03-05Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_de...Oli Scherer-9/+0
2024-03-05Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu...Michael Goulet-2/+2
2024-03-05only set noalias on Box with the global allocatorRalf Jung-8/+33