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