{"ast_node_type":"function","tokens":[{"end":96,"kind":"keyword","start":0,"text":"fn"}]}
fn inhabited_predicate_type<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> InhabitedPredicate<'tcx> {
/// N.B. this query should only be called through `Ty::inhabited_predicate`
    match *ty.kind() {