{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.args[bt.var.index()].expect_ty()
            fn replace_const(&mut self, bc: ty::BoundConst) -> ty::Const<'tcx> {