Shared via CrossHair Playground

main.py

from crosshair.core_and_libs import proxy_for_type, standalone_statespace
from pathlib import PurePath
from crosshair.core import NoTracing
from crosshair.libimpl.builtinslib import (LazyIntSymbolicStr, SymbolicBoundedIntTuple)
                                           
with standalone_statespace:
    with NoTracing():
        symbolic = LazyIntSymbolicStr(
            SymbolicBoundedIntTuple((1, 2, 3), "tempname")
        )
    
    PurePath(symbolic)