Function rustc_trait_selection::traits::const_evaluatable::walk_abstract_const

fn walk_abstract_const<'tcx, F>(
    tcx: TyCtxt<'tcx>, 
    ct: AbstractConst<'tcx>, 
    f: F
) where
    F: FnMut(Node<'tcx>),