{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// If, during the computation of the dtorck constraint, we
    /// overflow, that gets recorded here. The caller is expected to