about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2025-02-05Auto merge of #136302 - oli-obk:push-vvqmwzunxsrk, r=compiler-errorsbors-11/+17
2025-02-05separate labels for default binding mode spans into their own notesdianne-10/+0
2025-02-04Rollup merge of #136526 - Zalathar:thir-cx, r=NadrierilMatthias Krüger-109/+86
2025-02-04experimentally label the spans for default binding modesdianne-35/+88
2025-02-03highlight the whole problem subpattern when pointing out the default binding ...dianne-2/+2
2025-02-04Rename `thir::cx::Cx` to `ThirBuildCx`Zalathar-9/+12
2025-02-04Remove helper trait `UserAnnotatedTyHelpers`Zalathar-100/+74
2025-02-03reword pattern migration diagnostic to make sense in all editionsdianne-8/+16
2025-02-03pattern migration: move labels out of the suggestion structdianne-13/+11
2025-02-03Avoid double-boxing lists of THIR subpatternsZalathar-7/+7
2025-02-03Remove some non-trivial `box` patternsZalathar-11/+9
2025-02-03Remove `'pat` lifetime from some match-lowering data structuresZalathar-1/+2
2025-02-03Don't demand `&Box<Pat>` in `print_pat`Zalathar-2/+2
2025-02-03Simplify the pattern unpeeling in `lower_pattern_range_endpoint`Zalathar-26/+25
2025-02-03Return range endpoint ascriptions/consts via a `&mut Vec`Zalathar-12/+19
2025-02-03Flatten the option check in `lower_pattern_range_endpoint`Zalathar-31/+28
2025-02-02Rollup merge of #136328 - estebank:long-ty-path, r=jieyouxu,lqdMatthias Krüger-4/+4
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-5/+36
2025-01-31Rework "long type names" printing logicEsteban Küber-4/+4
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-5/+36
2025-01-31Rollup merge of #136330 - nnethercote:rm-unnecessary-hooks, r=oli-obkMatthias Krüger-6/+8
2025-01-31Remove the `thir_{tree,flat}` hooks.Nicholas Nethercote-6/+8
2025-01-30add commentsLukas Markeffsky-0/+1
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-30Avoid calling the layout_of query in lit_to_constOli Scherer-13/+15
2025-01-30Don't allow negative unsigned literalsOli Scherer-1/+5
2025-01-29Eliminate PatKind::PathOli Scherer-4/+0
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-3/+3
2025-01-24Use short ty string for move errorsEsteban Küber-0/+4
2025-01-21add fixme in typoed const pattern lintRémy Rakic-0/+6
2025-01-20Rollup merge of #135310 - estebank:issue-135289, r=Nadrieril许杰友 Jieyou Xu (Joe)-8/+1
2025-01-11review commentsEsteban Küber-57/+67
2025-01-11Avoid unnecessary note when type has escaping boundsEsteban Küber-3/+9
2025-01-11Avoid duplicated noteEsteban Küber-6/+8
2025-01-11Account for `for<'a>` types when checking for non-structural type in constant...Esteban Küber-3/+10
2025-01-09Always force non-trimming of path in `unreachable_patterns` lintEsteban Küber-8/+1
2025-01-09Remove the now-useless `Result` from `lit_to_const`Oli Scherer-14/+12
2025-01-09Always take the `Ok` path in `lit_to_const` and produce error constants insteadOli Scherer-1/+1
2025-01-09Use error constant instead of explicit error handlingOli Scherer-4/+3
2025-01-08Rename PatKind::Lit to ExprOli Scherer-1/+1
2025-01-08Exhaustively handle expressions in patternsOli Scherer-25/+12
2025-01-07Rollup merge of #134989 - max-niederman:guard-patterns-hir, r=oli-obkMatthias Krüger-0/+3
2025-01-04Rollup merge of #135046 - RalfJung:rustc_box_intrinsic, r=compiler-errorsJubilee-39/+18
2025-01-03const-in-pattern: test that the PartialEq impl does not need to be constRalf Jung-0/+4
2025-01-03turn rustc_box into an intrinsicRalf Jung-39/+18
2024-12-31add guard patterns to HIR and implement loweringMax Niederman-0/+3
2024-12-19Rename Scope.id to Scope.local_id, remove trivial accessorMichael Goulet-9/+15
2024-12-17Add the edition guide link from the match 2024 migration lint to the error as...dianne-0/+4
2024-12-17Clarify the match ergonomics 2024 migration lint's outputdianne-7/+18
2024-12-17Rollup merge of #134400 - spastorino:fix-some-comments, r=compiler-errorsJacob Pratt-1/+1