{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
        let mut value = self.locals[place.local]?;
        // Invariant: `value` holds the value up-to the `index`th projection excluded.
        // Invariant: `value` has type `place_ty`, with optional downcast variant if needed.