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::instantiate
fn inhabited_predicate_adt(
tcx: TyCtxt<'_>,
def_id: DefId,
) -> InhabitedPredicate<'_>
Returns an InhabitedPredicate
that is generic over type parameters and
requires calling InhabitedPredicate::instantiate