{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//!"}]}
//! A final remark: empty constructors of arity 0 break specialization, we must avoid them. The
//!
//! reason is that if we specialize by them, nothing remains to witness the emptiness; the rest of