Replace deprecated type annotations

Ref. eng/recordflux/RecordFlux!1688

examples/apps/wireguard/handlers.py

@@ -3,8 +3,9 @@
 import dataclasses
 import math
 import os
+from collections.abc import Callable
 from pathlib import Path
-from typing import TYPE_CHECKING, Callable, Optional
+from typing import TYPE_CHECKING, Optional
 
 from rflx.model import NeverVerify
 from rflx.pyrflx import MessageValue, PyRFLX

rflx/fatal_error.py

@@ -3,7 +3,8 @@
 import sys
 import traceback
 import types
-from typing import Callable, Final
+from collections.abc import Callable
+from typing import Final
 
 from rflx.version import is_gnat_tracker_release, version
 

rflx/ls/server.py

@@ -5,9 +5,9 @@
 import threading
 import uuid
 from collections import defaultdict
-from collections.abc import Iterable, Mapping
+from collections.abc import Callable, Iterable, Mapping
 from pathlib import Path
-from typing import Callable, Final
+from typing import Final
 from urllib.parse import unquote, urlparse
 
 from lsprotocol.types import (

rflx/model/message.py

@@ -2,13 +2,12 @@
 
 import itertools
 from collections import defaultdict
-from collections.abc import Iterable, Mapping, Sequence
+from collections.abc import Callable, Iterable, Mapping, Sequence
 from concurrent.futures import ProcessPoolExecutor
 from copy import copy
 from dataclasses import dataclass, field as dataclass_field
 from enum import Enum
 from functools import cached_property, partial
-from typing import Callable
 
 from rflx import expr, expr_proof, ty
 from rflx.common import Base, indent, indent_next, unique, verbose_repr

tests/unit/expr_conv_test.py

@@ -1,4 +1,4 @@
-from typing import Callable
+from collections.abc import Callable
 
 import pytest
 

tests/unit/expr_proof_test.py

@@ -1,4 +1,4 @@
-from typing import Callable
+from collections.abc import Callable
 
 import pytest
 import z3

tests/unit/generator/allocator_test.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 
-from typing import Callable
+from collections.abc import Callable
 
 import pytest
 

tests/unit/generator/common_test.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 
 import textwrap
-from typing import Callable
+from collections.abc import Callable
 
 import pytest
 

tests/unit/generator/state_machine_test.py

@@ -1,9 +1,8 @@
 from __future__ import annotations
 
 import typing
-from collections.abc import Sequence
+from collections.abc import Callable, Sequence
 from functools import lru_cache
-from typing import Callable
 
 import pytest
 import z3

tests/unit/model/type_decl_test.py

@@ -1,4 +1,4 @@
-from typing import Callable
+from collections.abc import Callable
 
 import pytest