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