{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
        let args = self.typeck_results.borrow().node_args(expr.hir_id);
        // a type parameter outlives the moment of instantiation.
        self.add_wf_bounds(args, expr.span);