Function solve_item_traits_inner

fn solve_item_traits_inner<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    generics: GenericArgsRef<'tcx>,
    predicates: impl Iterator<Item = Clause<'tcx>>,
) -> Vec<ImplExpr>

Apply the given generics to the provided clauses and resolve the trait references in the current context.