summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
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
2022-09-13Shrink some visibilities.Camille GILLOT-12/+12
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-15/+11
2022-09-08Auto merge of #101467 - nnethercote:shrink-hir-Ty-Pat, r=spastorinobors-1/+1
2022-09-08Introduce `DotDotPos`.Nicholas Nethercote-1/+1
2022-09-06Shrink span for bindings with subpatterns.Camille GILLOT-1/+6
2022-09-02Use boxed slices in `PatKind`.Nicholas Nethercote-1/+7
2022-09-02Box `CanonicalUserTypeAnnotation::CanonicalUserType`.Nicholas Nethercote-2/+2
2022-09-02Box `PatKind::Range`.Nicholas Nethercote-3/+7
2022-09-02Clean up THIR patterns.Nicholas Nethercote-22/+25
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-1/+0