hax_frontend_exporter::traits

Function solve_item_traits_inner

Source 
fn solve_item_traits_inner<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    generics: GenericArgsRef<'tcx>,
    predicates: GenericPredicates<'tcx>,
) -> Vec<ImplExpr>
Expand description

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