{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"///"}]}
    /// to forget to set it.
    /// user where we wrote the file to is only printed once at most, *and* it makes it much harder
    ///