about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2025-09-25usize/isize range matching error clarificationhelldawg-4/+4
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-9/+12
2025-08-18Rollup merge of #145206 - scrabsha:push-uxovoqzrxnlx, r=jdonszelmannStuart Cook-6/+4
2025-08-15Port `#[custom_mir(..)]` to the new attribute systemSasha Pourcelot-6/+4
2025-08-14shrink TestBranch::Constant and PatRangeBoundary::FiniteRalf Jung-2/+3
2025-08-14use ty::Value instead of manual pairs of types and valtreesRalf Jung-10/+9
2025-08-14pattern testing: store constants as valtreesRalf Jung-11/+6
2025-08-14PatKind: store constants as valtreesRalf Jung-16/+15
2025-08-01loop match: error on `#[const_continue]` outside `#[loop_match]`Folkert de Vries-2/+2
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-2/+4
2025-07-28fix: Reject upvar scrutinees for `loop_match`Shoyu Vanilla-7/+14
2025-07-28use let chains in hir, lint, mirKivooeo-37/+31
2025-07-14Auto merge of #143779 - JonathanBrouwer:automatically_derived_parser, r=oli-obkbors-2/+4
2025-07-13Generalize TyCtxt::item_name.Camille GILLOT-1/+1
2025-07-12Port `#[automatically_derived]` to the new attribute parsing infrastructureJonathan Brouwer-2/+4
2025-07-09Auto merge of #143472 - dianne:deref-pat-column-check, r=Nadrierilbors-0/+1
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-1/+1
2025-07-04only check for mixed deref/normal constructors when neededdianne-0/+1
2025-07-04treat box patterns as deref patterns in THIR and usefulness analysisdianne-3/+4
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-2/+2
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-2/+2
2025-07-01loop match: run exhaustiveness checkFolkert de Vries-10/+24
2025-06-30Introduce `ByteSymbol`.Nicholas Nethercote-16/+12
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-2/+5
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-2/+5
2025-06-24Rollup merge of #138780 - trifectatechfoundation:loop_match_attr, r=oli-obk,t...Jubilee-23/+148
2025-06-23Add `#[loop_match]` for improved DFA codegenbjorn3-23/+148
2025-06-15Move the place in `&pin mut $place` when `!Unpin` to ensure soundnessFrank King-7/+31
2025-06-15Implement pinned borrows, part of `pin_ergonomics`Frank King-0/+25
2025-06-06Rollup merge of #142047 - cuviper:s390x-stack, r=oli-obkMatthias Krüger-1/+4
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-5/+6
2025-06-04Ensure stack in `ThirBuildCx::mirror_exprs`Josh Stone-1/+4
2025-06-03Overhaul `UsePath`.Nicholas Nethercote-20/+15
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-27Rollup merge of #141433 - compiler-errors:unsafe-binder-captures, r=oli-obk许杰友 Jieyou Xu (Joe)-0/+3
2025-05-23Properly analyze captures from unsafe bindersMichael Goulet-0/+3
2025-05-23Dont walk into unsafe binders when emiting error for non-structural type matchMichael Goulet-0/+3
2025-05-21Rollup merge of #141357 - dianne:unhardcode-unpretty-thir-tree-body-expr, r=c...Matthias Krüger-5/+4
2025-05-21`unpretty=thir-tree`: don't require the final expr to be the entrypointdianne-5/+4
2025-05-21lower bodies' params to thir before the body's valuedianne-1/+2
2025-05-04Auto merge of #140549 - BoxyUwU:proper_const_norm, r=lcnrbors-0/+2
2025-05-01Set groundwork for proper const normalizationBoxy-0/+2
2025-05-01User type annotations for free consts in pattern positionBoxy-2/+1
2025-04-24lower deref patterns on boxes using built-in derefsdianne-7/+4
2025-04-22make `[u8]` and `[u8;N]` literal patterns usable in deref patternsdianne-2/+6
2025-04-22make `str` literal patterns usable in deref patternsdianne-0/+16
2025-04-18Rollup merge of #139615 - nnethercote:rm-name_or_empty, r=jdonszelmannMatthias Krüger-1/+1
2025-04-18Rollup merge of #138528 - dianne:implicit-deref-patterns, r=NadrierilMatthias Krüger-21/+28
2025-04-17Replace infallible `name_or_empty` methods with fallible `name` methods.Nicholas Nethercote-1/+1
2025-04-16lower implicit deref patterns to THIRdianne-18/+24