Function rustc_middle::ty::inhabitedness::inhabited_predicate_adt
source · 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