diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-10-05 19:07:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-05 19:07:55 +0200 |
| commit | c45f9027230dbde55377d86165b12f50a9f959ad (patch) | |
| tree | 7e64563f90b768c99044040a375abaf4ae65317a /src/librustdoc/scrape_examples.rs | |
| parent | 388c10b2ac2bc20ac193bc8a60ae444fe638e40c (diff) | |
| parent | f0ddc7b472a6ea84f2224364e2b71c688b7b285e (diff) | |
| download | rust-c45f9027230dbde55377d86165b12f50a9f959ad.tar.gz rust-c45f9027230dbde55377d86165b12f50a9f959ad.zip | |
Rollup merge of #131285 - RalfJung:mir-projection-sem, r=cjgillot
clarify semantics of ConstantIndex MIR projection This documents what Miri does: https://github.com/rust-lang/rust/blob/c4ce8c114b06840c3521a189ee44958b713fb33a/compiler/rustc_const_eval/src/interpret/projection.rs#L272-L275 I am not sure what exactly the purpose of this `min_length` field is, TBH... but this seems like the most obvious meaning it could have?
Diffstat (limited to 'src/librustdoc/scrape_examples.rs')
0 files changed, 0 insertions, 0 deletions