Function inhabited_predicate_type

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

Function inhabited_predicate_typeCopy item path