{"ast_node_type":"function","tokens":[{"end":86,"kind":"keyword","start":0,"text":"fn"}]}
fn inhabited_predicate_adt(tcx: TyCtxt<'_>, def_id: DefId) -> InhabitedPredicate<'_> {
/// requires calling [`InhabitedPredicate::instantiate`]
    if let Some(def_id) = def_id.as_local() {