{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// was called. With the default `None` all registered lints will also
    /// name. This is useful for cases were not all linting code from rustc
    /// be checked for expectation fulfillment.