{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"||"}]}
            || missing_ctors.is_empty()
        let ctor_is_relevant = matches!(ctor, Constructor::Missing)
            || mcx.tycx.exhaustive_witnesses();