summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
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
2023-04-03Cleanup PatCtxt.Camille GILLOT-73/+23
2023-04-03Perform match checking on THIR.Camille GILLOT-382/+340
2023-04-03Shrink binding span.Camille GILLOT-8/+17
2023-04-03Make check_match take a LocalDefId.Camille GILLOT-7/+3
2023-04-02Fix `non_exhaustive_omitted_patterns` lint spanclubby789-20/+23
2023-04-01Fix `non_exhaustive_omitted_patterns` on argumentsclubby789-0/+3
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+1
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-12/+14
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-03-21remove some trait solver helperslcnr-9/+7
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-10/+4
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-4/+6
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-3/+1
2023-01-26Auto merge of #107328 - matthiaskrgr:rollup-lfqwo0o, r=matthiaskrgrbors-40/+37
2023-01-26Rollup merge of #106978 - mejrs:mir_build3, r=davidtwcoMatthias Krüger-40/+37
2023-01-26Auto merge of #106745 - m-ou-se:format-args-ast, r=oli-obkbors-3/+3
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-1/+3
2023-01-17Migrate mir_build's borrow conflictsmejrs-40/+37
2023-01-17tidyWaffle Maybe-16/+15
2023-01-17Don't call closures immediately, use `try{}` blocksMaybe Waffle-19/+15
2023-01-14suggest fix for attempted integer identifier in patternsEzra Shaw-4/+16