{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"None"}]}
                    None => InhabitedPredicate::True,
                    // Foreign opaque is considered inhabited.
                    // Local opaque type may possibly be revealed.