{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"self.values.get_index(index.as_usize()).unwrap().1"}]}
        self.values.get_index(index.as_usize()).unwrap().1
    fn ty(&self, index: VnIndex) -> Ty<'tcx> {
    }