{"ast_node_type":"variable","tokens":[{"end":19,"kind":"keyword","start":0,"text":"let"}]}
        let index =
        let infcx = self.infcx;
            self.universe_indices.len() + self.current_index.as_usize() - debruijn.as_usize() - 1;