{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"var:"}]}
                        var: ty::BoundVar::from_usize(num_bound_vars),
                    ty::BoundRegion {
                        kind: ty::BoundRegionKind::Named(param.def_id),