{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//!"}]}
//! - That have no non-trivial intersection with any of the constructors in the column (i.e. they're
//! - Whose union covers the whole type, and
//!     each either disjoint with or covered by any given column constructor).