about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/lints.rs
AgeCommit message (Expand)AuthorLines
2025-04-03Remove `LintExpectationId` from `Level` variantsOli Scherer-1/+1
2025-04-03Make LevelAndSource a structOli Scherer-5/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+4
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-1/+0
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-3/+3
2024-03-13Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`Nadrieril-6/+6
2024-03-11`DeconstructedPat.data` is always present nowNadrieril-1/+1
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote-1/+1
2024-02-02Remove dead args from functionsMichael Goulet-1/+1
2024-01-30Make `PatternColumn` part of the public APINadrieril-84/+3
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-18/+16
2024-01-30Make `PatternColumn` generic in `Cx`Nadrieril-23/+20
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-1/+1
2024-01-20Remove Ty: Copy boundNadrieril-2/+2
2024-01-19Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errorsMatthias Krüger-1/+1
2024-01-15Lint overlapping ranges directly from exhaustivenessNadrieril-29/+3
2024-01-15Make all the empty pattern decisions in `usefulness`Nadrieril-1/+1
2024-01-11Only lint ranges that really overlapNadrieril-85/+2
2024-01-11Factor out collection of overlapping rangesNadrieril-29/+49
2024-01-11Auto merge of #119837 - matthiaskrgr:rollup-l2olpad, r=matthiaskrgrbors-15/+21
2024-01-09Document the new `expand_and_push` methodNadrieril-3/+5
2024-01-07Abort analysis on type errorNadrieril-4/+8
2024-01-07Add an error path to the algorithmNadrieril-11/+13
2024-01-07We only need the arity of the subtype list nowNadrieril-2/+1
2024-01-07Use special enum to represent algorithm-generated wildcards in the matrixNadrieril-8/+9
2024-01-07Remove incorrect `assert`Nadrieril-6/+0
2024-01-07Factor out pushing onto `PatternColumn`Nadrieril-12/+12
2024-01-06Reuse `ctor_sub_tys` when we have one aroundNadrieril-1/+2
2024-01-06Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-errorsbors-15/+8
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-1/+1
2024-01-01Statically enforce revealing of opaquesNadrieril-15/+8
2023-12-26Keep reference to the original `Pat` in `DeconstructedPat`Nadrieril-2/+2
2023-12-26Rollup merge of #119307 - compiler-errors:pat-lifetimes, r=NadrierilMichael Goulet-10/+10
2023-12-26Elide more lifetimesMichael Goulet-1/+1
2023-12-26Yeet some lifetimesMichael Goulet-10/+10
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-2/+2
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-15/+7
2023-12-15s/MatchCx/TypeCx/Nadrieril-1/+1
2023-12-15Introduce `MatchCtxt`Nadrieril-29/+27
2023-12-15s/PatCtxt/PlaceCtxt/Nadrieril-5/+5
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-2/+2
2023-12-15Address review commentsNadrieril-6/+3
2023-12-15s/RustcCtxt/RustcMatchCheckCtxt/Nadrieril-6/+7
2023-12-15Iron out last rustc-specific detailsNadrieril-1/+1
2023-12-15Name rustc-specific things "rustc"Nadrieril-9/+8
2023-12-15Abstract `MatchCheckCtxt` into a traitNadrieril-12/+13
2023-12-15Disentangle the arena from `MatchCheckCtxt`Nadrieril-18/+29
2023-12-15Remove all matching on `ty.kind()` outside `cx`Nadrieril-3/+2