about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
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
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