{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// The "diverging fallback" system is rather complicated. This is
    /// a result of our need to balance 'do the right thing' with