summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2022-08-04Rollup merge of #100093 - wcampbell0x2a:unused-parens-for-match-arms, r=petro...Matthias Krüger-1/+1
2022-08-04Enable unused_parens for match armswcampbell-1/+1
2022-08-04Auto merge of #99843 - oli-obk:is_useful_perf, r=compiler-errorsbors-46/+43
2022-07-29Rename local_did to def_idMiguel Guarniz-1/+1
2022-07-29Change maybe_body_owned_by to take local def idMiguel Guarniz-1/+1
2022-07-28Pass PatCtxt instead of passing MatchCtxt + Ty separatelyOli Scherer-25/+22
2022-07-28Don't pass (the rather large) `PatCtxt` by valueOli Scherer-17/+17
2022-07-28Move constructor into the branch that actually uses itOli Scherer-5/+5
2022-07-27Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=...Guillaume Gomez-31/+29
2022-07-25avoid `&str`/`Symbol` to `String` conversionsTakayuki Maeda-1/+1
2022-07-25Remove non-descriptive boolean from search_for_structural_match_violationMichael Goulet-31/+29
2022-07-25Get rid of redundant NonStructuralMatchTyKindMichael Goulet-17/+11
2022-07-25Deeply deny fn and raw ptrs in const genericsMichael Goulet-1/+7
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-36/+30
2022-07-15Infer wildcard type from other patterns at every pattern levelOli Scherer-26/+31
2022-07-15Move constructor into the branch that actually uses itOli Scherer-5/+5
2022-07-15Revert a hack that only ever worked on level deepOli Scherer-5/+1
2022-07-15Allow destructuring opaque types, since the patterns constrain the opaque typesOli Scherer-1/+5
2022-07-15Add some tracing instrumentationOli Scherer-0/+1
2022-07-11move else block into the `Local` structDing Xiang Fei-5/+6
2022-07-11lower let-else in MIR insteadDing Xiang Fei-10/+14
2022-07-11Rollup merge of #99140 - TaKO8Ki:implement-is-accessible-span, r=fee1-deadDylan DPC-1/+1
2022-07-11rename a methodTakayuki Maeda-1/+1
2022-07-11implement `is_accessible_span`Takayuki Maeda-1/+1
2022-07-11Deny floats even when adt_const_params is enabledMichael Goulet-26/+31
2022-06-30middle: translation in `LintDiagnosticBuilder`David Wood-1/+1
2022-06-29avoid many `&str` to `String` conversions with `MultiSpan::push_span_label`Takayuki Maeda-1/+1
2022-06-19Be more hygenic with spansMichael Goulet-6/+7
2022-06-19Use `Span::eq_ctxt` method instead of `.ctxt() == .ctxt()`Michael Goulet-4/+4
2022-06-19Only omit trailing comma if block doesn't come from macro expansionMichael Goulet-3/+14
2022-06-16compare_const_vals: add a special case for certain ranges.Nicholas Nethercote-4/+19
2022-06-16compare_const_vals: Use infallible evaluation.Nicholas Nethercote-27/+23
2022-06-16Remove `ty` arg from `compare_const_vals`.Nicholas Nethercote-11/+4
2022-06-16Remove `from_bool` closure.Nicholas Nethercote-4/+2
2022-06-16Inline and remove `fallback` closure.Nicholas Nethercote-3/+1
2022-06-16Remove one use of `compare_const_vals`.Nicholas Nethercote-15/+2
2022-06-16Assert type equality of `a` and `b` in `compare_const_vals`.Nicholas Nethercote-1/+3
2022-06-16Remove dead code from `compare_const_vals`.Nicholas Nethercote-11/+0
2022-06-14address reviewb-naber-1/+1
2022-06-14fix clippy test failuresb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-4/+6
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-09thir: wrap hir id of vars into local var idDing Xiang Fei-3/+3
2022-05-24give correct error message on structural match violationb-naber-9/+9
2022-05-21Auto merge of #96515 - lcnr:user-types-in-pat, r=nikomatsakisbors-20/+22
2022-05-21correctly deal with user type ascriptions in patlcnr-20/+22
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-31/+31
2022-05-18Auto merge of #97019 - b-naber:transition-to-valtrees-pt1, r=oli-obkbors-58/+81
2022-05-18Auto merge of #96863 - SparrowLii:let, r=michaelwoeristerbors-6/+6
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-58/+81