about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2024-04-02Address review commentsJules Bertholet-7/+7
2024-03-30Implement "&<pat> everywhere"Jules Bertholet-2/+9
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-31/+18
2024-03-22Rollup merge of #121619 - RossSmyth:pfix_match, r=petrochenkovMatthias Krüger-0/+1
2024-03-21Implement macro-based deref!() syntax for deref patternsMichael Goulet-1/+1
2024-03-20Add barest-bones deref patternsNadrieril-0/+3
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger-35/+39
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-5/+4
2024-03-13Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`Nadrieril-16/+13
2024-03-13Rollup merge of #121820 - Nadrieril:idxpat2, r=compiler-errorsMatthias Krüger-5/+7
2024-03-12Centralize the decision to suggest patterns vs `_`Nadrieril-40/+36
2024-03-12Don't suggest an arm when suggesting a never patternNadrieril-3/+11
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-1/+1
2024-03-11`DeconstructedPat.data` is always present nowNadrieril-4/+4
2024-03-11Store field indices in `DeconstructedPat` to avoid virtual wildcardsNadrieril-1/+3
2024-03-06Add postfix match MatchSource to HIRRoss Smyth-0/+1
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez-2/+6
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+2
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-25make non-PartialEq-typed consts as patterns a hard errorRalf Jung-9/+6
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-12/+7
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-1/+1
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-1/+1
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-1/+1
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-2/+1
2024-02-08Match `min_exhaustive_patterns` implementation with `exhaustive_patterns`Nadrieril-1/+2
2024-02-06Rollup merge of #120423 - RalfJung:indirect-structural-match, r=petrochenkovMatthias Krüger-95/+36
2024-02-06Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errorsMatthias Krüger-2/+1
2024-02-05get rid of nontrivial_structural_match lint and custom_eq const qualifRalf Jung-95/+36
2024-02-05Rollup merge of #116284 - RalfJung:no-nan-match, r=cjgillotMatthias Krüger-11/+18
2024-01-31Remove `pattern_arena` from `RustcMatchCheckCtxt`Nadrieril-2/+1
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-3/+3
2024-01-26remove illegal_floating_point_literal_pattern lintRalf Jung-9/+3
2024-01-26make matching on NaN a hard errorRalf Jung-11/+24
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