{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// Invariant: path.is_empty() || path.ends_with('/')
    /// `foo/bar/` for `mod bar { mod x; }` nested in `foo.rs`
    dir_path: DirPath,