hax_frontend_exporter

Function poly_trait_ref

source
pub fn poly_trait_ref<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    assoc: &AssocItem,
    generics: GenericArgsRef<'tcx>,
) -> Option<PolyTraitRef<'tcx>>