hax_frontend_exporter::traits::utils

Function self_predicate

source
pub fn self_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Option<PolyTraitRef<'tcx>>
Expand description

The special “self” predicate on a trait.