about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2023-08-21Add note when matching on tuples/ADTs containing non-exhaustive typesSebastian Toh-14/+31
2023-08-15Rollup merge of #114819 - estebank:issue-78124, r=compiler-errorsMatthias Krüger-4/+7
2023-08-15Deny FnDef in patternsMichael Goulet-1/+6
2023-08-14Move scrutinee `HirId` into `MatchSource::TryDesugar`Esteban Küber-4/+7
2023-08-14Remove unnecessary FIXMEouz-a-1/+0
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-1/+1
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-08-04Rollup merge of #114434 - Nilstrieb:indexing-spans, r=est31Matthias Krüger-2/+8
2023-08-04Improve spans for indexing expressionsNilstrieb-2/+8
2023-08-04Rollup merge of #114022 - oli-obk:tait_ice_alias_field_projection, r=cjgillotMatthias Krüger-0/+3
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-30/+21
2023-07-24Perform OpaqueCast field projection on HIR, too.Oli Scherer-0/+3
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-99/+93
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-1/+3
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-28/+1
2023-07-08Rollup merge of #113217 - ericmarkmartin:lower-type-relative-ctor-to-adt, r=c...Matthias Krüger-15/+32
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-7/+12
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-9/+15
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-7/+15
2023-07-02refactorEric Mark Martin-17/+19
2023-06-30resolve typerelative ctors to adtEric Mark Martin-12/+27
2023-06-28remove cruftEric Mark Martin-1/+0
2023-06-28use translatable subdiagnosticEric Mark Martin-1/+2
2023-06-28add note for non-exhaustive matches with guardsEric Mark Martin-0/+5
2023-06-27`thir`: Add `Become` expression kindMaybe Waffle-6/+8
2023-06-26`hir`: Add `Become` expression kindMaybe Waffle-0/+5
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-7/+11
2023-06-16Re-use the deref-pattern recursion instead of duplicating the logicOli Scherer-59/+26
2023-06-04Show note for type ascription interpreted as a constant pattern, not a new va...许杰友 Jieyou Xu (Joe)-1/+6
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-11/+4
2023-05-31Inline from_inline_const into its sole call siteOli Scherer-32/+61
2023-05-31Explain and simplify valtree -> mir-const fallbackOli Scherer-7/+9
2023-05-31`bug!` message nitOli Scherer-1/+1
2023-05-31Simplify an `if let Some` to a `?`Oli Scherer-13/+10
2023-05-31Remove some dead codeOli Scherer-15/+2
2023-05-31Remove `lit_to_mir_constant` queryOli Scherer-9/+10
2023-05-31Remove `deref_mir_constant`Oli Scherer-3/+0
2023-05-31Only rewrite valtree-constants to patterns and keep other constants opaqueOli Scherer-156/+224
2023-05-30Remove a hack that has become obsolete after https://github.com/rust-lang/rus...Oli Scherer-13/+1
2023-05-30Get `lit_to_const` in sync with `const_to_valtree_inner`Oli Scherer-0/+13
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-26Rollup merge of #111951 - cjgillot:uninh-comment, r=NadrierilMatthias Krüger-2/+2
2023-05-25Rollup merge of #111757 - lowr:fix/lint-attr-on-match-arm, r=eholkMichael Goulet-23/+35
2023-05-25Correct comment on privately uninhabited pattern.Camille GILLOT-2/+2
2023-05-25Rollup merge of #111624 - cjgillot:private-uninhabited-pattern, r=petrochenkovMatthias Krüger-0/+18
2023-05-24Emit diagnostic for privately uninhabited uncovered witnesses.Camille GILLOT-0/+18
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-2/+2
2023-05-19Drive-by-cleanup: Don't emit `thir::ExprKind::NeverToAny` for `! -> !`Maybe Waffle-0/+1
2023-05-19Consider lint check attributes on match arms in match checksRyo Yoshida-23/+35
2023-05-16Document how constants as opaque patterns behave differently.Oli Scherer-4/+20