summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-3/+3
2024-01-26Classify closure arguments in refutable pattern in argument errorDeadbeef-1/+10
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-12/+12
2024-01-22Rollup merge of #120097 - Nadrieril:consistent_unreachable_subpats, r=compile...Matthias Krüger-39/+49
2024-01-20Remove Ty: Copy boundNadrieril-1/+1
2024-01-19Rollup merge of #120009 - Nadrieril:never_patterns_tyck, r=compiler-errorsMatthias Krüger-0/+16
2024-01-19Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errorsMatthias Krüger-1/+2
2024-01-18Typecheck never patternsNadrieril-0/+16
2024-01-18Consistently warn unreachable subpatternsNadrieril-31/+37
2024-01-18Consistently set `MatchVisitor.error` on errorNadrieril-12/+16
2024-01-17Add `PatKind::Err`Lieselotte-0/+2
2024-01-15Clarify that the status of `&!` is undecidedNadrieril-1/+2
2024-01-11Rollup merge of #119715 - Nadrieril:graceful-type-error, r=compiler-errorsMatthias Krüger-2/+8
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-2/+4
2024-01-09Don't mix combinators and `let else`Nadrieril-3/+6
2024-01-07Add an error path to the algorithmNadrieril-2/+5
2024-01-06Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-errorsbors-4/+4
2024-01-05Remove `thir::Guard`Matthew Jasper-14/+4
2024-01-01Statically enforce revealing of opaquesNadrieril-4/+4
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-17/+17
2023-12-26Merge 'thir and 'pMichael Goulet-17/+17
2023-12-26`thir::Visitor` only needs to visit `&'thir` dataNadrieril-10/+10
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-30/+30
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-5/+1
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-3/+3
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-2/+3
2023-12-15Annotate some more bugsMichael Goulet-2/+3
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-12more clippy::complexity fixesMatthias Krüger-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-09s/const_effect/host_effectMichael Goulet-1/+1
2023-12-09Some types cannot show up as the type of a patternNadrieril-4/+3