fn const_evaluatable_predicates_of<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
predicates: &FxIndexSet<(Clause<'tcx>, Span)>,
) -> FxIndexSet<(Clause<'tcx>, Span)>
fn const_evaluatable_predicates_of<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
predicates: &FxIndexSet<(Clause<'tcx>, Span)>,
) -> FxIndexSet<(Clause<'tcx>, Span)>