about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2022-02-15Overhaul `Const`.Nicholas Nethercote-59/+72
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-8/+8
2022-02-12change to a struct variantEllen-1/+1
2022-01-18Formally implement let chainsCaio-8/+35
2022-01-16Replace NestedVisitorMap with NestedFilterCameron Steffen-7/+1
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-1/+1
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-28/+26
2022-01-15initial revertEllen-1/+1
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-3/+3
2021-12-13let-else: add hir::Let and type check it like a hir::LocalCormac Relf-3/+5
2021-12-05Evaluate inline const pat early and report error if too genericGary Guo-31/+52
2021-11-23Fix stack overflow in `usefulness.rs`Badel2-4/+7
2021-11-21Simplify for loop desugarCameron Steffen-7/+14
2021-11-12Auto merge of #90813 - notriddle:notriddle/vec-extend, r=GuillaumeGomezbors-3/+1
2021-11-11Use `Vec::extend`, instead of calling `Vec::push` in a loopMichael Howell-3/+1
2021-11-11Auto merge of #90746 - nnethercote:opt-pattern-matching, r=Nadrierilbors-1/+1
2021-11-09Change the `assert` in `is_useful` to a `debug_assert`.Nicholas Nethercote-1/+1
2021-11-07Implement type inference for inline constsGary Guo-1/+1
2021-10-19Reject closures in patternsTomasz Miąsko-0/+3
2021-10-12Filter unstable and doc hidden variants in usefulness checkingDevin Ragotzy-35/+82
2021-10-08clippy::complexity fixesMatthias Krüger-3/+1
2021-10-01Rollup merge of #89441 - Nadrieril:fix-89393, r=tmandryManish Goregaokar-3/+4
2021-10-01Normalize after substituting via `field.ty()`Nadrieril-3/+4
2021-09-29fix(lint): don't suggest refutable patterns to "fix" irrefutable bindMichael Howell-19/+36
2021-09-29Auto merge of #88950 - Nadrieril:deconstruct-pat, r=oli-obkbors-977/+794
2021-09-26Trivialize tracking of unreachable subpatternsNadrieril-297/+95
2021-09-26Avoid double-deref in `Fields`Nadrieril-35/+31
2021-09-26Replace `Pat` with a new intermediate representationNadrieril-489/+615
2021-09-26Remove dependency of `SubPatSet` on `Pat`Nadrieril-27/+23
2021-09-26Move special `&str` handling to `Constructor` and `Fields`Nadrieril-21/+21
2021-09-26Use usize for slice arityNadrieril-15/+15
2021-09-26Rework `Fields` internals.Nadrieril-240/+195
2021-09-26A for loop is a lot faster apparentlyNadrieril-29/+9
2021-09-26Cleanup the reporting of unreachable patternsNadrieril-20/+14
2021-09-26Always report reachability for user-supplied patternsNadrieril-8/+3
2021-09-26Remove some unreachable codeNadrieril-20/+11
2021-09-26Remove premature shortcuttingNadrieril-26/+12
2021-09-20Fix ICE when `indirect_structural_match` is allowedFabian Wolff-6/+8
2021-09-14Add reachable_patterns lint to rfc-2008-non_exhaustiveDevin Ragotzy-51/+170
2021-08-30Handle irrufutable or unreachable let-elseCameron Steffen-1/+20
2021-08-30Calculate LetSource laterCameron Steffen-40/+42
2021-08-29Auto merge of #88088 - nbdd0121:const2, r=nagisabors-1/+6
2021-08-26add `tcx` to `fn walk`lcnr-1/+1
2021-08-22Fix more “a”/“an” typosFrank Steffahn-1/+1
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-08-15Introduce hir::ExprKind::Let - Take 2Caio-63/+129
2021-07-27Auto merge of #80367 - camelid:check_match-combine-loop, r=Nadrierilbors-8/+3
2021-07-27Auto merge of #85305 - MarcusDunn:master, r=pnkfelixbors-48/+1
2021-07-22Combine two loops in `check_match`Camelid-8/+3