Function rustc_middle::ty::abstract_const::walk_abstract_const

pub fn walk_abstract_const<'tcx, R, F>(
    tcx: TyCtxt<'tcx>,
    ct: AbstractConst<'tcx>,
    f: F
) -> ControlFlow<R>where
    F: FnMut(AbstractConst<'tcx>) -> ControlFlow<R>,