syntax_data: {"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:                 let idx = bound_const.var().as_usize();
context_before:             ty::ConstKind::Bound(debruijn, bound_const) if debruijn == self.binder_index => {
context_after:                 if self.bound_vars.len() <= idx {