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