about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2024-03-14Rename `hir::StmtKind::Local` into `hir::StmtKind::Let`Guillaume Gomez-1/+1
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-2/+2
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-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-0/+9
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-24Add asm label support to THIRGary Guo-2/+8
2024-02-24Add asm label support to AST and HIRGary Guo-0/+3
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-12/+7
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-5/+5
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-19/+12
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-15Add `ErrorGuaranteed` to `ast::LitKind::Err`, `token::LitKind::Err`.Nicholas Nethercote-10/+8
2024-02-14Auto merge of #120847 - oli-obk:track_errors9, r=compiler-errorsbors-2/+11
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-2/+11
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-2/+1
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-3/+3
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-12Lowering field access for anonymous adtsFrank King-5/+15
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-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-2/+19
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-22Auto merge of #120080 - cuviper:128-align-packed, r=nikicbors-1/+1
2024-01-20Remove Ty: Copy boundNadrieril-1/+1
2024-01-19Pack the u128 in LitKind::IntJosh Stone-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