create a drop ladder for an array if any value is moved out #46334
Conversation
kennytm
added
the
S-waiting-on-review
|
working on subslice support |
There was a problem hiding this comment.
I think size should be a u64?
There was a problem hiding this comment.
Could you add this test to src/test/run-pass/dynamic-drop.rs instead? That has a framework that tests leak-proofness in panics.
|
r=me using the |
mikhail-m1
force-pushed
the
slice_pattern_array_drop
branch
2 times, most recently
from
0ca5f7d to
be8f80f
Compare
|
☔ The latest upstream changes (presumably #46425) made this pull request unmergeable. Please resolve the merge conflicts. |
mikhail-m1
force-pushed
the
slice_pattern_array_drop
branch
from
be8f80f to
fb7db60
Compare
mikhail-m1
force-pushed
the
slice_pattern_array_drop
branch
from
fb7db60 to
7be2fd8
Compare
|
|
||
| let tcx = self.tcx(); | ||
| if let Some(size) = opt_size { | ||
| assert!(size <= (u32::MAX as u64), |
There was a problem hiding this comment.
i tried compile
let b : [bool; 5_000_000_000] = [true; 5000000000];
let [x,..] = b;
but compiler fails on earlier stage with OOM
|
@bors r+ |
|
📌 Commit 7be2fd8 has been approved by |
|
I suppose we might land this first and then get subslice support working. |
kennytm
added
S-waiting-on-bors
|
☀️ Test successful - status-appveyor, status-travis |
4 participants
r? @arielb1
first commit for fix #34708 (note: this still handles the subslice case in a very broken manner)