{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"self.mapping.insert(old_bound.var,"}]}
                self.mapping.insert(old_bound.var, mapped.into());
                let mapped = ty::Const::new_bound(self.tcx, ty::INNERMOST, ty::BoundConst { var });
                mapped