(c: CallableType, ids: list[TypeVarId])
| 735 | |
| 736 | |
| 737 | def update_callable_ids(c: CallableType, ids: list[TypeVarId]) -> CallableType: |
| 738 | tv_map = {} |
| 739 | tvs = [] |
| 740 | for tv, new_id in zip(c.variables, ids): |
| 741 | new_tv = tv.copy_modified(id=new_id) |
| 742 | tvs.append(new_tv) |
| 743 | tv_map[tv.id] = new_tv |
| 744 | return expand_type(c, tv_map).copy_modified(variables=tvs) |
| 745 | |
| 746 | |
| 747 | def match_generic_callables(t: CallableType, s: CallableType) -> tuple[CallableType, CallableType]: |
no test coverage detected
searching dependent graphs…