rust/compiler/rustc_middle/src/mir, branch perf-tmphttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=perf-tmp2025-10-02T06:58:59+00:00mir-opt: Eliminate dead statements even if they are used by debuginfos2025-10-02T06:58:59+00:00dianqkdianqk@dianqk.net2025-07-19T10:49:47+00:00urn:sha1:8da04285cf6fe61587e16155a8b224dba64bf0bemir-opt: Eliminate trivial unnecessary storage annotations2025-10-02T06:55:51+00:00dianqkdianqk@dianqk.net2025-07-15T14:54:54+00:00urn:sha1:85b2f706939528b5796d98e82c183637f8338cd1simplifycfg: Preserve debuginfos when merging bbs2025-10-02T06:55:50+00:00dianqkdianqk@dianqk.net2025-07-10T13:20:54+00:00urn:sha1:cc93132ae4f5477297ecddb0c07d2e8c74075f0cmir-opt: Eliminate dead ref statements2025-10-02T06:55:50+00:00dianqkdianqk@dianqk.net2025-06-08T07:30:09+00:00urn:sha1:571412f8190089c36758031fe09fc0ece59be6b7Auto merge of #147055 - beepster4096:subtype_is_not_a_projection, r=lcnr2025-10-02T01:54:48+00:00borsbors@rust-lang.org2025-10-02T01:54:48+00:00urn:sha1:42b384ec0dfcd528d99a4db0a337d9188a9eecaa
Turn ProjectionElem::Subtype into CastKind::Subtype
I noticed that drop elaboration can't, in general, handle `ProjectionElem::SubType`. It creates a disjoint move path that overlaps with other move paths. (`Subslice` does too, and I'm working on a different PR to make that special case less fragile.) If its skipped and treated as the same move path as its parent then `MovePath.place` has multiple possible projections. (It would probably make sense to remove all `Subtype` projections for the canonical place but it doesn't make sense to have this special case for a problem that doesn't actually occur in real MIR.)
The only reason this doesn't break is that `Subtype` is always the sole projection of the local its applied to. For the same reason, it works fine as a `CastKind` so I figured that makes more sense than documenting and validating this hidden invariant.
cc rust-lang/rust#112651, rust-lang/rust#133258
r? Icnr (bc you've been the main person dealing with `Subtype` it looks like)
more rename2025-09-29T15:06:25+00:00Boxy Uwurust@boxyuwu.dev2025-09-29T15:05:44+00:00urn:sha1:66b664c9961e54282fbaccef72f90dfa7dd1418fRename various "concrete opaque type" terminology to say "hidden type"2025-09-27T21:58:02+00:00Boxy Uwurust@boxyuwu.dev2025-09-27T21:58:02+00:00urn:sha1:4d411775139e1bc39c2752d78e40f2bcecb5304bProjectionElem::Subtype -> CastKind::Subtype2025-09-26T08:25:26+00:00beepster409619316085+beepster4096@users.noreply.github.com2025-09-26T03:54:54+00:00urn:sha1:aa5a21450a070fdea66a07d3cab3b69e6735c328const validation: better error for maybe-null references2025-09-24T11:35:29+00:00Ralf Jungpost@ralfj.de2025-09-24T10:12:41+00:00urn:sha1:8328c3dada0c888b1c570f97314b3f697d4b2a96const-eval: improve and actually test the errors when pointers might be outside the range of a scalar2025-09-24T11:34:33+00:00Ralf Jungpost@ralfj.de2025-09-22T17:46:30+00:00urn:sha1:0a41add6293d76b165968d70f95e7edbbe65fe11