Ary Borenszweig
Ary Borenszweig
Oh, I missed that it's already using a compiler with debug info on. That said, to understand the problem I suggest using an LLVM debug build.
Could you include code to reproduce this? Thank you!
It (now) works fine now in #12574
Reduced: ```rust fn main() { let src = [1]; let mut dst = [1]; dst[0] = src[10]; dst[0] = 1; // commenting this line will produce Index Out of Bounds...
One solution could be to not remove `array_get` operations if the index might be out of bounds (if the index is a constant and it's out of bounds, or if...
This program also doesn't give index out of bounds at runtime, but probably should: ```rust fn main() { let mut dst = [1]; dst[10] = 1; } ```
We can't allow `sizeof` here because for that you need to compute the size of a type, and for that we need to know its instance variables. A recursive/paradox problem....
How would you know which fields to add the generic Context to?
I couldn't reproduce this issue locally.
> Expected the x.foo() call to resolve since x: T and U: Bar implies T: Foo I'm not sure if this explicitness is expected from the language... Or, well, at...