hax_frontend_exporter::traits

Function solve_item_implied_traits

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

Solve the trait obligations for implementing a trait (or for trait associated type bounds) in the current context.