hax_frontend_exporter::traits

Function solve_item_required_traits

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

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