inhabited_predicate_type

rustc_middle::ty::inhabitedness

Function inhabited_predicate_type 

Source 
fn inhabited_predicate_type<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>,
) -> InhabitedPredicate<'tcx>
Expand description

N.B. this query should only be called through Ty::inhabited_predicate