{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"let"}]}
        let value = self.insert(ty, Value::Projection(value, ProjectionElem::Deref));
    fn insert_deref(&mut self, ty: Ty<'tcx>, value: VnIndex) -> VnIndex {
        self.derefs.push(value);