about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2023-08-14Move scrutinee `HirId` into `MatchSource::TryDesugar`Esteban Küber-3/+5
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-27/+20
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-51/+47
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-1/+3
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-6/+14
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-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-1/+1
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/+5
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-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-24Emit diagnostic for privately uninhabited uncovered witnesses.Camille GILLOT-0/+18
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
2023-05-15Update some commentsOli Scherer-9/+5
2023-05-15Always fall back to PartialEq when a constant in a pattern is not recursively...Oli Scherer-31/+20
2023-05-11Rollup merge of #108705 - clubby789:refutable-let-closure-borrow, r=cjgillotMatthias Krüger-11/+14
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-7/+7
2023-05-01fix doc test in mir_build for removing type ascriptionyukang-2/+1
2023-05-01Rollup merge of #111015 - cjgillot:chained-let-and, r=compiler-errorsMatthias Krüger-3/+0
2023-04-30Bail out of MIR construction if `check_match` failsclubby789-11/+14
2023-04-30Remove wrong assertion.Camille GILLOT-3/+0
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-3/+3
2023-04-20Remove WithOptconstParam.Camille GILLOT-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-16use matches! macro in more placesMatthias Krüger-4/+2
2023-04-10Fix typos in compilerDaniPopes-8/+8
2023-04-06Auto merge of #108504 - cjgillot:thir-pattern, r=compiler-errors,Nilstriebbors-449/+379
2023-04-03Rename hir_id to lint_root.Camille GILLOT-10/+18
2023-04-03Only emit lint on refutable patterns.Camille GILLOT-8/+10
2023-04-03Expand parameters.Camille GILLOT-6/+10
2023-04-03Remove redundant field.Camille GILLOT-9/+4
2023-04-03Reinstate confusion note.Camille GILLOT-17/+25