{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// (exhaustiveness is NP-complete). The core difference is that we treat sub-columns separately.
/// This is not used in the usefulness algorithm; only in lints.