{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"self.still_bound_vars.push(ty::BoundVariableKind::Const);"}]}
                self.still_bound_vars.push(ty::BoundVariableKind::Const);
                let var = ty::BoundVar::from_usize(self.still_bound_vars.len());
                let mapped = ty::Const::new_bound(self.tcx, ty::INNERMOST, ty::BoundConst { var });