{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
///   passed in to `into_diag` from outside. Even if in practice it is
/// - A diagnostic like `Foo` *could* be emitted at any level -- `level` is
///   always emitted at a single level, we let the diagnostic creation/emission