rust/compiler/rustc_middle/src/ty/structural_impls.rs, branch 1.88.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.88.0 2025-04-29T23:17:31+00:00 canonical no type foldable :< 2025-04-29T23:17:31+00:00 lcnr rust@lcnr.de 2025-04-28T17:38:11+00:00 urn:sha1:7275462ab9924360eaec49cfb2a02324551a250f Add or-patterns to pattern types 2025-04-28T07:50:18+00:00 Oli Scherer github333195615777966@oli-obk.de 2025-02-27T09:46:46+00:00 urn:sha1:b023856f29743a288727d13d0d1044b8e0d3f9f3 Rollup merge of #138528 - dianne:implicit-deref-patterns, r=Nadrieril 2025-04-18T03:16:28+00:00 Matthias Krüger 476013+matthiaskrgr@users.noreply.github.com 2025-04-18T03:16:28+00:00 urn:sha1:c8a9095f0f57f7a482aed4e464ec284e8f98b37b deref patterns: implement implicit deref patterns This implements implicit deref patterns (per https://hackmd.io/4qDDMcvyQ-GDB089IPcHGg#Implicit-deref-patterns) and adds tests and an unstable book chapter. Best reviewed commit-by-commit. Overall there's a lot of additions, but a lot of that is tests, documentation, and simple(?) refactoring. Tracking issue: #87121 r? ``@Nadrieril`` Split TypeFolder and FallibleTypeFolder 2025-04-15T18:30:35+00:00 Michael Goulet michael@errs.io 2025-04-14T15:10:43+00:00 urn:sha1:c774adcbb535e69bffe5be329af006959f897fbd store the kind of pattern adjustments in `pat_adjustments` 2025-04-13T00:42:09+00:00 dianne diannes.gm@gmail.com 2025-03-15T01:56:15+00:00 urn:sha1:f35eae780b492cca74d6ada59dc857959d937cd4 This allows us to better distinguish builtin and overloaded implicit dereferences. Fix `Debug` impl for `LateParamRegionKind`. 2025-04-04T05:50:56+00:00 Nicholas Nethercote n.nethercote@gmail.com 2025-04-04T05:50:56+00:00 urn:sha1:fadf9105176d6ee6ec76c79447a0978b4819d26f It uses `Br` prefixes which are inappropriate and appear to have been incorrectly copy/pasted from the `Debug` impl for `BoundRegionKind`. Fold visit into ty 2025-03-15T06:34:36+00:00 Michael Goulet michael@errs.io 2025-03-13T17:09:25+00:00 urn:sha1:e5a22203272ac83faa1422144078a5615eacbb76 Squash fold into ty 2025-03-15T06:34:36+00:00 Michael Goulet michael@errs.io 2025-03-13T16:59:55+00:00 urn:sha1:dc0cdfd75348ab39cf84448ff575d1b136f8a9bd Move methods from `Map` to `TyCtxt`, part 4. 2025-03-11T21:55:37+00:00 Nicholas Nethercote n.nethercote@gmail.com 2025-02-21T07:33:05+00:00 urn:sha1:256c27e748b477c1ec1c59bdc23afade5eec84aa Continuing the work from #137350. Removes the unused methods: `expect_variant`, `expect_field`, `expect_foreign_item`. Every method gains a `hir_` prefix. Prefer a two value enum over bool 2025-03-06T10:03:11+00:00 Oli Scherer github333195615777966@oli-obk.de 2025-02-12T10:37:49+00:00 urn:sha1:4f2b108816e782f68d5964bec74448c04bd36ac5