hax_frontend_exporter::traits

Function self_clause_for_item

source
pub fn self_clause_for_item<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    assoc: &AssocItem,
    generics: GenericArgsRef<'tcx>,
) -> Option<ImplExpr>
Expand description

Retrieve the Self: Trait clause for a trait associated item.