code: def mypy_int_typing() -> None:
      class T(HasTraits):
          i: Int[int, int] = Int(42).tag(sync=True)
          oi: Int[int | None, int | None] = Int(
              42, allow_none=True
          ).tag(sync=True)
  
      t = T()
      reveal_type(
          Int(True)
      )  # R: traitlets.traitlets.Int[builtins.int, builtins.int]
      reveal_type(
          Int(True).tag(sync=True)
      )  # R: traitlets.traitlets.Int[builtins.int, builtins.int]
      reveal_type(
          Int(  # R: traitlets.traitlets.Int[Union[builtins.int, None], Union[builtins.int, None]]
              None, allow_none=True
          )
      )
      reveal_type(
          Int(  # R: traitlets.traitlets.Int[Union[builtins.int, None], Union[builtins.int, None]]
              None, allow_none=True
          ).tag(
              sync=True
          )
      )
      reveal_type(
          T.i
      )  # R: traitlets.traitlets.Int[builtins.int, builtins.int]
      reveal_type(t.i)  # R: builtins.int
      reveal_type(t.oi)  # R: Union[builtins.int, None]
      reveal_type(
          T.i
      )  # R: traitlets.traitlets.Int[builtins.int, builtins.int]
      reveal_type(
          T.oi  # R: traitlets.traitlets.Int[Union[builtins.int, None], Union[builtins.int, None]]
      )
      t.i = "foo"  # E: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]
      t.i = None  # E: Incompatible types in assignment (expression has type "None", variable has type "int")  [assignment]
      t.i = 1.2
  
imports: from __future__ import annotations
  import logging
  import typing
  from abc import ABC
  import pytest
  from traitlets import Any, Bool, CInt, Dict, Enum, HasTraits, Instance, Int, List, Set, TCPAddress, Type, Unicode, Union, default, observe, validate
  from traitlets.config import Config
label_desc: Use image node_id 12 for calling a global function with example usage: mypy_int_typing() without return types