{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
/// requires calling [`InhabitedPredicate::instantiate`]
/// Returns an `InhabitedPredicate` that is generic over type parameters and
fn inhabited_predicate_adt(tcx: TyCtxt<'_>, def_id: DefId) -> InhabitedPredicate<'_> {