{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
/// Wraps a `DiagInner`, adding some useful things.
/// Used for emitting structured error messages and other diagnostic information.
/// - The `dcx` field, allowing it to (a) emit itself, and (b) do a drop check