class_docstr: Test cases for diagnostics infra.
class_docstr_tok: ["Test","cases","for","diagnostics","infra","."]
code: def test_diagnostic_log_emit_correctly_formatted_string(self):
      verbosity_level = logging.INFO
      self.context.options.verbosity_level = verbosity_level
      with self.context:
          diagnostic = infra.Diagnostic(
              self.rules.rule_without_message_args, infra.Level.NOTE
          )
          diagnostic.log(
              logging.INFO,
              "%s",
              formatter.LazyString(
                  lambda x, y: f"{x} {y}", "hello", "world"
              ),
          )
          self.assertIn("hello world", diagnostic.additional_messages)
  
imports: from __future__ import annotations
  import contextlib
  import dataclasses
  import io
  import logging
  import typing
  import unittest
  from typing import AbstractSet, Protocol, Tuple
  import torch
  from torch.onnx import errors
  from torch.onnx._internal import diagnostics
  from torch.onnx._internal.diagnostics import infra
  from torch.onnx._internal.diagnostics.infra import formatter, sarif
  from torch.onnx._internal.fx import diagnostics
  from torch.testing._internal import common_utils, logging_utils
label_desc: Use image node_id 8 for calling the TestDiagnosticsInfra obj's underlying member method code with example usage: obj.test_diagnostic_log_emit_correctly_formatted_string() without return types