about summary refs log tree commit diff
path: root/compiler/rustc_mir_build
AgeCommit message (Expand)AuthorLines
2023-12-26Keep reference to the original `Pat` in `DeconstructedPat`Nadrieril-4/+4
2023-12-26Rollup merge of #119307 - compiler-errors:pat-lifetimes, r=NadrierilMichael Goulet-21/+21
2023-12-26Merge 'thir and 'pMichael Goulet-17/+17
2023-12-26`thir::Visitor` only needs to visit `&'thir` dataNadrieril-14/+14
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-75/+67
2023-12-25Auto merge of #119122 - matthewjasper:if-let-guard-scoping, r=TaKO8Kibors-236/+230
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-75/+67
2023-12-22Rollup merge of #119230 - Nadrieril:librarify-even-further, r=compiler-errorsMichael Goulet-3/+3
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-11/+3
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-3/+3
2023-12-22Auto merge of #116821 - Nadrieril:fix-opaque-ice, r=compiler-errorsbors-0/+4
2023-12-22Auto merge of #119097 - nnethercote:fix-EmissionGuarantee, r=compiler-errorsbors-6/+11
2023-12-21Give temporaries in if let guards correct scopesMatthew Jasper-1/+21
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-0/+4
2023-12-19Auto merge of #119112 - Nadrieril:remove-target_blocks-hack, r=matthewjasperbors-71/+65
2023-12-19Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errorsbors-30/+34
2023-12-19Remove the `make_target_blocks` hackNadrieril-71/+65
2023-12-19Add `level` arg to `into_diagnostic`.Nicholas Nethercote-6/+11
2023-12-18Pass THIR ExprIds in MIR buildingMatthew Jasper-235/+209
2023-12-18Rename many `DiagCtxt` arguments.Nicholas Nethercote-2/+2
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-18Rename `Handler` as `DiagCtxt`.Nicholas Nethercote-3/+3
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-8/+8
2023-12-15s/RustcCtxt/RustcMatchCheckCtxt/Nadrieril-4/+4
2023-12-15Iron out last rustc-specific detailsNadrieril-4/+5
2023-12-15Name rustc-specific things "rustc"Nadrieril-5/+6
2023-12-15Abstract `MatchCheckCtxt` into a traitNadrieril-21/+19
2023-12-15Disentangle the arena from `MatchCheckCtxt`Nadrieril-1/+5
2023-12-15Split `Single` ctor into more specific variantsNadrieril-1/+1
2023-12-15Rollup merge of #118962 - compiler-errors:bugs, r=TaKO8KiMatthias Krüger-5/+10
2023-12-15Annotate some more bugsMichael Goulet-5/+10
2023-12-15Rollup merge of #118863 - Enselic:rustc_mir-build-query-stability, r=michaelw...Guillaume Gomez-4/+3
2023-12-14rustc_mir_build: Enforce `rustc::potential_query_instability` lintMartin Nordholts-1/+0
2023-12-14rustc_mir_build: Make non-exhaustive non-empty match diagnotics deterministicMartin Nordholts-3/+3
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-2/+2
2023-12-12more clippy::complexity fixesMatthias Krüger-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-2/+2
2023-12-11Rollup merge of #118822 - Nadrieril:librarify, r=compiler-errorsMatthias Krüger-3743/+20
2023-12-11Move lints to their own moduleNadrieril-5/+4
2023-12-11Gather rustc-specific functions around `MatchCheckCtxt`Nadrieril-11/+12
2023-12-11Extract exhaustiveness into its own crateNadrieril-3730/+7
2023-12-10Auto merge of #118692 - surechen:remove_unused_imports, r=petrochenkovbors-4/+2
2023-12-10Auto merge of #118788 - compiler-errors:const-pretty, r=fee1-deadbors-2/+2
2023-12-10remove redundant importssurechen-4/+2
2023-12-09Auto merge of #118308 - Nadrieril:sound-exhaustive-patterns-take-3, r=compile...bors-310/+665
2023-12-09s/const_effect/host_effectMichael Goulet-2/+2
2023-12-09Auto merge of #116170 - matthewjasper:remove-thir-destruction-scopes, r=cjgillotbors-154/+70
2023-12-09Some types cannot show up as the type of a patternNadrieril-4/+3
2023-12-09Don't warn an empty pattern unreachable if we're not sure the data is validNadrieril-39/+90
2023-12-09Track place validityNadrieril-30/+216