summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
2022-10-29Comment why normalization is needed for debug assertionsMichael Goulet-1/+6
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-15/+11
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
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