about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-5/+1
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-0/+4
2023-12-19Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errorsbors-28/+32
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-8/+8
2023-12-15s/RustcCtxt/RustcMatchCheckCtxt/Nadrieril-2/+2
2023-12-15Iron out last rustc-specific detailsNadrieril-4/+5
2023-12-15Name rustc-specific things "rustc"Nadrieril-3/+4
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-3/+4
2023-12-15Annotate some more bugsMichael Goulet-3/+4
2023-12-15Rollup merge of #118863 - Enselic:rustc_mir-build-query-stability, r=michaelw...Guillaume Gomez-3/+3
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-1/+1
2023-12-12more clippy::complexity fixesMatthias Krüger-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-11Rollup merge of #118822 - Nadrieril:librarify, r=compiler-errorsMatthias Krüger-3630/+17
2023-12-11Move lints to their own moduleNadrieril-5/+4
2023-12-11Gather rustc-specific functions around `MatchCheckCtxt`Nadrieril-10/+11
2023-12-11Extract exhaustiveness into its own crateNadrieril-3617/+4
2023-12-10Auto merge of #118692 - surechen:remove_unused_imports, r=petrochenkovbors-1/+1
2023-12-10Auto merge of #118788 - compiler-errors:const-pretty, r=fee1-deadbors-1/+1
2023-12-10remove redundant importssurechen-1/+1
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-1/+1
2023-12-09Auto merge of #116170 - matthewjasper:remove-thir-destruction-scopes, r=cjgillotbors-43/+4
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
2023-12-09Correctly handle empty constructorsNadrieril-158/+212
2023-12-09Be precise about usefulness vs reachabilityNadrieril-94/+159
2023-12-05Rollup merge of #118598 - Nadrieril:remove_precise_pointer_size_matching, r=d...Matthias Krüger-19/+6
2023-12-04Don't include destruction scopes in THIRMatthew Jasper-43/+4
2023-12-04Remove the `precise_pointer_size_matching` feature gateNadrieril-19/+6
2023-12-04Auto merge of #118490 - Nadrieril:arena-alloc-matrix, r=nnethercotebors-15/+8
2023-12-02Anticipate allocation sizesNadrieril-15/+8
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-5/+5
2023-11-30Auto merge of #118379 - compiler-errors:const-params-for-partialeq, r=fee1-deadbors-2/+10
2023-11-29Rollup merge of #118157 - Nadrieril:never_pat-feature-gate, r=compiler-errorsMatthias Krüger-0/+11
2023-11-29Add `never_patterns` feature gateNadrieril-0/+11
2023-11-28Add with_opt_const_effect_param helper, simplifyMichael Goulet-10/+9
2023-11-28Fix PartialEq args when #[const_trait] is enabledMichael Goulet-2/+11
2023-11-28Auto merge of #118405 - matthiaskrgr:rollup-3a2eevc, r=matthiaskrgrbors-2/+8
2023-11-28Auto merge of #118282 - fee1-dead-contrib:enforce-more, r=compiler-errorsbors-4/+4
2023-11-26Simplify indenting in THIR printingMark Rousskov-2/+8
2023-11-26Rollup merge of #118311 - bvanjoi:merge_coroutinue_into_closure, r=petrochenkovGuillaume Gomez-12/+12
2023-11-26Rollup merge of #118302 - mu001999:dead_code/clean, r=cjgillotGuillaume Gomez-149/+3
2023-11-26merge `DefKind::Coroutine` into `DefKind::Closure`bohan-12/+12
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-4/+4