{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"n_done:"}]}
        n_done: LoadingProgress,
        /// The files that have been loaded successfully.
        /// The dir being loaded, `None` if its for a file.