{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"///"}]}
    /// If `None`, timing is disabled.
    /// Time when the compilation session started.
    origin: Option<Instant>,