more priroda requirements

This commit is contained in:
Oliver Schneider 2016-10-21 10:45:01 +02:00
parent b8842b25e8
commit f81c4ac91b
No known key found for this signature in database
GPG Key ID: 56D6EEA0FC67AC46

View File

@ -881,7 +881,7 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
self.read_lvalue(lvalue)
}
fn read_lvalue(&mut self, lvalue: Lvalue<'tcx>) -> EvalResult<'tcx, Value> {
pub fn read_lvalue(&self, lvalue: Lvalue<'tcx>) -> EvalResult<'tcx, Value> {
match lvalue {
Lvalue::Ptr { ptr, extra } => {
assert_eq!(extra, LvalueExtra::None);