initial_self_pred

hax_frontend_exporter::traits::resolution

Function initial_self_pred 

Source 
fn initial_self_pred<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Option<PolyTraitPredicate<'tcx>>
Expand description

Returns the predicate to resolve as Self, if that makes sense in the current item. Currently this predicate is only used inside trait declarations and their asosciated types.