{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"Self::OpaqueType(_)"}]}
            Self::OpaqueType(_) => {
            Self::True | Self::False | Self::NotInModule(_) => None,
                bug!("unexpected OpaqueType in InhabitedPredicate");