rustc_middle::ty::inhabitedness

Function 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