Closed
Description
Hello,
It feels like this shouldn't be an issue but I don't really know where to post it otherwise..
The documentation of eval_place
in the MIR InterpCx
says that there is a more efficient solution when the place is access for read called eval_place_for_read
, but the latter does not exist anywhere.
I'm guessing it should be referring to eval_place_to_op
, but I am not entirely sure. Also as a side question, I'd be curious to know why it is slower to access a place for write than it is for read.
I'm going to spend a bit of time reading that part of the code, if I ever find other tiny things like that, where should I report it ? It feels like this could be a small discussion in a chat followed by a tiny PR rather than an issue.
Thank you !