hax_frontend_exporter

Function solve_item_traits

source 
pub fn solve_item_traits<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    def_id: DefId,
    generics: GenericArgsRef<'tcx>,
    predicates: Option<GenericPredicates<'tcx>>,
) -> Vec<ImplExpr>
Expand description

Solve the trait obligations for a specific item use (for example, a method call, an ADT, etc.).

[predicates]: optional predicates, in case we want to solve custom predicates (instead of the ones returned by [TyCtxt::predicates_defined_on].