summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-1/+0
2022-07-15Add some tracing instrumentationOli Scherer-0/+1
2022-06-16compare_const_vals: add a special case for certain ranges.Nicholas Nethercote-4/+19
2022-06-16compare_const_vals: Use infallible evaluation.Nicholas Nethercote-27/+23
2022-06-16Remove `ty` arg from `compare_const_vals`.Nicholas Nethercote-3/+2
2022-06-16Remove `from_bool` closure.Nicholas Nethercote-4/+2
2022-06-16Inline and remove `fallback` closure.Nicholas Nethercote-3/+1
2022-06-16Remove one use of `compare_const_vals`.Nicholas Nethercote-5/+1
2022-06-16Assert type equality of `a` and `b` in `compare_const_vals`.Nicholas Nethercote-1/+3
2022-06-16Remove dead code from `compare_const_vals`.Nicholas Nethercote-11/+0
2022-06-14fix clippy test failuresb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-3/+4
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-09thir: wrap hir id of vars into local var idDing Xiang Fei-3/+3
2022-05-21Auto merge of #96515 - lcnr:user-types-in-pat, r=nikomatsakisbors-20/+22
2022-05-21correctly deal with user type ascriptions in patlcnr-20/+22
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-13/+13
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-30/+36
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-2/+2
2022-04-06get rid of visit_constant in thir visitorb-naber-4/+2
2022-04-02rebase and remove dead codeb-naber-3/+1
2022-04-02do use ty::Const in patterns and abstract constsb-naber-34/+24
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-29/+40
2022-03-31obligation cause: `RepeatVec` -> `RepeatValueCopy`lcnr-1/+1
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-02-286 - Make more use of `let_chains`Caio-10/+8
2022-02-19Adopt let else in more placesest31-9/+6
2022-02-15Overhaul `Const`.Nicholas Nethercote-16/+16
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-2/+2
2022-02-12change to a struct variantEllen-1/+1
2021-12-05Evaluate inline const pat early and report error if too genericGary Guo-31/+52
2021-11-07Implement type inference for inline constsGary Guo-1/+1
2021-08-29Auto merge of #88088 - nbdd0121:const2, r=nagisabors-1/+6
2021-08-18Remove box syntax from rustc_mir_buildest31-1/+1
2021-08-16Forbid inline const block referencing params from being used in patternsGary Guo-1/+6
2021-07-17Auto merge of #86761 - Alexhuszagh:master, r=estebankbors-5/+0
2021-07-17Changed dec2flt to use the Eisel-Lemire algorithm.Alex Huszagh-5/+0
2021-07-15Remove refs from pat slicesCameron Steffen-4/+4
2021-06-19Assert `is_associated_const` when resolvingYuki Okushi-3/+4
2021-06-19Refactor `PatternError` structureYuki Okushi-5/+4
2021-05-22Move THIR structure definitions to `rustc_middle`LeSeulArtichaut-334/+17
2021-03-11Make THIR data structures publicLeSeulArtichaut-19/+19
2021-02-09Rename HIR UnOp variantsÖmer Sinan Ağacan-1/+1
2021-01-18Use ty::{IntTy,UintTy,FloatTy} in rustcLeSeulArtichaut-5/+3
2020-11-27Rename `_match` to `usefulness`Nadrieril-1/+1
2020-11-27Extract everything related to pattern deconstruction to a new moduleNadrieril-0/+1
2020-11-04`u128` truncation and sign extension are not just interpreter relatedoli-3/+3
2020-10-30Fix even more clippy warningsJoshua Nelson-4/+1
2020-10-24Rollup merge of #78072 - Nadrieril:cleanup-constant-matching, r=varkorJonas Schievink-0/+7