Function rustc_trait_selection::traits::const_evaluatable::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>,