about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
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 `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
2024-01-17Add `PatKind::Err`Lieselotte-0/+2
2024-01-16Rollup merge of #119969 - compiler-errors:simplify-closure-env-ty, r=oli-obkMatthias Krüger-37/+19
2024-01-15Clarify that the status of `&!` is undecidedNadrieril-1/+2
2024-01-15Rollup merge of #119971 - compiler-errors:zip-eq, r=nnethercoteMatthias Krüger-1/+2
2024-01-14Use zip_eq to enforce that things being zipped have equal sizesMichael Goulet-1/+2
2024-01-14Simplify closure_env_ty and closure_env_paramMichael Goulet-37/+19
2024-01-11Rollup merge of #119715 - Nadrieril:graceful-type-error, r=compiler-errorsMatthias Krüger-2/+8
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-19/+19
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