{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
                            let args = self.tcx.erase_regions(uv.args);
                        Ok(Some(bac)) => {
                            let bac = bac.instantiate(self.tcx, args);