fn inhabited_predicate_adt(
    tcx: TyCtxt<'_>,
    def_id: DefId
) -> InhabitedPredicate<'_>
Expand description

Returns an InhabitedPredicate that is generic over type parameters and requires calling InhabitedPredicate::subst