{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"//"}]}
        // witnesses.
        // The `Or` constructor indicates that we expanded or-patterns. This doesn't affect
        if self.is_empty() || matches!(ctor, Constructor::Or) {