{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"///"}]}
    /// the time). `Some` otherwise.
    /// `None` for `ObligationCauseCode::Misc` (a common case, occurs ~60% of
    code: Option<Arc<ObligationCauseCode<'tcx>>>,