fn explicit_predicates_of(
    tcx: TyCtxt<'_>,
    def_id: DefId
) -> GenericPredicates<'_>