summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
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
2022-11-16Use `as_deref` in compiler (but only where it makes sense)Maybe Waffle-2/+2
2022-11-13Store a LocalDefId in hir::AnonConst.Camille GILLOT-2/+1
2022-11-11Don't ICE with inline const errors during MIR buildMichael Goulet-0/+3
2022-11-10Use const_error_with_guaranteed moreMichael Goulet-1/+1
2022-10-23Comment why normalization is needed for debug assertionsMichael Goulet-1/+6
2022-09-29Shrink `hir::def::Res`.Nicholas Nethercote-1/+2
2022-09-27rustc_typeck to rustc_hir_analysislcnr-1/+1
2022-09-20Rollup merge of #102021 - lcnr:tyConst-fun, r=b-naber,BoxyUwUMichael Howell-1/+1
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-0/+1
2022-09-19ctfe, `const_to_op` only for mir constantslcnr-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-15/+11
2022-09-16Merge two arguments into oneOli Scherer-0/+1