{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
//! reason is that if we specialize by them, nothing remains to witness the emptiness; the rest of
//! A final remark: empty constructors of arity 0 break specialization, we must avoid them. The
//! the algorithm can't distinguish them from a nonempty constructor. The only known case where this