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