{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
/// Sadly, that's not 100% true, there are special cases. To make sure that
///
/// callers handle all the special cases correctly via exhaustive matching, we