rust/compiler/rustc_pattern_analysis/src, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2025-09-27T21:58:02+00:00 Rename various "concrete opaque type" terminology to say "hidden type" 2025-09-27T21:58:02+00:00 Boxy Uwu rust@boxyuwu.dev 2025-09-27T21:58:02+00:00 urn:sha1:4d411775139e1bc39c2752d78e40f2bcecb5304b Remove `DynKind` 2025-09-17T02:46:46+00:00 León Orell Valerian Liehr me@fmease.dev 2025-09-17T02:16:47+00:00 urn:sha1:26f3337d4eda0ba22b615744fda0185d0ee344b1 Rollup merge of #145234 - dianne:1-tuple-witnesses, r=jackh726 2025-08-23T20:22:15+00:00 Samuel Tardieu sam@rfc1149.net 2025-08-23T20:22:15+00:00 urn:sha1:5a14685a63b8306367c3fdd49717113e9ba0ba59 match exhaustiveness diagnostics: show a trailing comma on singleton tuple consructors in witness patterns (and clean up a little) Constructor patterns of type `(T,)` are written `(pat,)`, not `(pat)`. However, exhaustiveness/usefulness diagnostics would print them as `(pat)` when e.g. providing a witness of non-exhaustiveness and suggesting adding arms to make matches exhaustive; this would result in an error when applied. rust-analyzer already prints the trailing comma, so it doesn't need changing. This also includes some cleanup in the second commit, with justification in the commit message. avoid unnecessary type sanity checks 2025-08-14T07:44:22+00:00 Ralf Jung post@ralfj.de 2025-07-29T15:22:22+00:00 urn:sha1:e2cc7757e1bdbe8c9dc0dcffc1017ceff4799899 shrink TestBranch::Constant and PatRangeBoundary::Finite 2025-08-14T07:44:22+00:00 Ralf Jung post@ralfj.de 2025-07-29T11:28:47+00:00 urn:sha1:dbc030e0346f0958bea91601de7d115554bbf74e change StrLit type to ty::Value as well 2025-08-14T07:44:22+00:00 Ralf Jung post@ralfj.de 2025-07-29T07:01:05+00:00 urn:sha1:a1acbfb050675f197fd525c830203f07412148bd use ty::Value instead of manual pairs of types and valtrees 2025-08-14T07:44:22+00:00 Ralf Jung post@ralfj.de 2025-07-29T06:54:34+00:00 urn:sha1:a171eaab4249f70d24904da7ed392476b516a0e6 pattern testing: store constants as valtrees 2025-08-14T07:44:19+00:00 Ralf Jung post@ralfj.de 2025-07-28T16:16:47+00:00 urn:sha1:d61fdbf266cf25ddf8c4798fd86e21577c8664e8 PatKind: store constants as valtrees 2025-08-14T07:39:39+00:00 Ralf Jung post@ralfj.de 2025-07-28T14:59:06+00:00 urn:sha1:3f1e99dca47b2cfc33906f1f1334fbed3a9fc4ce clean up witness printing for tuple-like constructors 2025-08-10T23:34:11+00:00 dianne diannes.gm@gmail.com 2025-08-10T22:52:41+00:00 urn:sha1:8f649a7e585f03e69c61a5b8286a61b38307afe8 By construction, `subpatterns` contains all fields in order. Witness patterns are constructed with all fields in order by `WitnessPat::wild_from_ctor` and `WitnessStack::apply_constructor`, and the order is preserved at `write_struct_like`'s call-site in `print_witness_pat`. It's thus no longer necessary to go looking for fields or handle missing fields.