about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-29Add `never_patterns` feature gateNadrieril-0/+2
2023-11-26Clean dead codesr0cky-149/+3
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-8/+8
2023-10-27Propagate half-open ranges through THIRNadrieril-15/+16
2023-10-27Abstract over `PatRange` boundary valueNadrieril-79/+15
2023-10-16Address review commentsMatthew Jasper-20/+27
2023-10-16Fix inline const pattern unsafety checking in THIRMatthew Jasper-3/+10
2023-10-14Use `PatKind::Error` instead of `PatKind::Wild` to report errorsNadrieril-22/+19
2023-10-14Propagate pattern errors via a new `PatKind::Error` variantNadrieril-0/+1
2023-10-11Fix range overflow checkingNadrieril-31/+63
2023-10-11Rework error handling when lowering range endpointsNadrieril-114/+87
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-17/+17
2023-09-20the Const::eval_bits methods don't need to be given the TyRalf Jung-6/+6
2023-09-19move ConstValue into mirRalf Jung-3/+3
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-4/+4
2023-09-13make the set of methods between our two Const types more consistentRalf Jung-2/+2
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-0/+2
2023-09-03Fix code that now emits unused doc comment warning for expr fieldGurinder Singh-2/+2
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-20/+18
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+8
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-1/+1
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-11/+4
2023-05-31Inline from_inline_const into its sole call siteOli Scherer-32/+61
2023-05-31Explain and simplify valtree -> mir-const fallbackOli Scherer-7/+9
2023-05-31Remove `lit_to_mir_constant` queryOli Scherer-9/+5
2023-05-31Only rewrite valtree-constants to patterns and keep other constants opaqueOli Scherer-18/+47
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-03Cleanup PatCtxt.Camille GILLOT-52/+11
2023-04-03Perform match checking on THIR.Camille GILLOT-4/+21
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+1
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-4/+5
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-5/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-01-11Rollup merge of #106097 - mejrs:mir_build2, r=oli-obkMichael Goulet-1/+1
2023-01-11Migrate usefulness.rsmejrs-1/+1
2023-01-11Detect out of bounds range pattern valueEsteban Küber-6/+62
2022-12-17Resolve various merge conflictsmejrs-1/+1
2022-12-17Migrate lower range bound diagnosticsTheOddGarlic-24/+5
2022-12-17Migrate "could not evaluate const pattern" diagnosticTheOddGarlic-3/+3
2022-12-17Migrate "constant pattern depends on generic parameter" diagnosticTheOddGarlic-3/+4
2022-12-17Migrate "non-exhaustive patterns: type is non-empty" diagnosticTheOddGarlic-0/+1
2022-12-04drive-by: move field_index to typeck resultsMichael Goulet-1/+1
2022-11-24Auto merge of #104507 - WaffleLapkin:asderefsyou, r=wesleywiserbors-2/+2
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-2/+1