Searched refs:ToInject (Results 1 – 1 of 1) sorted by relevance
3202 InjectedInvariant ToInject(NonStrictPred, LHS, RHS, InLoopSucc); in insertCandidatesWithPendingInjections() local3204 std::nullopt, std::move(ToInject)); in insertCandidatesWithPendingInjections()