{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
/// 2. each constructor in `present` is covered by something in the column
/// 1. the union of `present`, `missing` and `missing_empty` covers all the constructors of the type
/// 3. no constructor in `missing` or `missing_empty` is covered by anything in the column