| 9001 | |
| 9002 | |
| 9003 | class TypeTransformVisitor(TransformVisitor): |
| 9004 | def __init__(self, map: dict[TypeVarId, Type]) -> None: |
| 9005 | super().__init__() |
| 9006 | self.map = map |
| 9007 | |
| 9008 | def type(self, type: Type) -> Type: |
| 9009 | return expand_type(type, self.map) |
| 9010 | |
| 9011 | |
| 9012 | def are_argument_counts_overlapping(t: CallableType, s: CallableType) -> bool: |
no outgoing calls
no test coverage detected
searching dependent graphs…