Find type variables for which we are solving in a target type.
(target: Type, vars: list[TypeVarId])
| 558 | |
| 559 | |
| 560 | def get_vars(target: Type, vars: list[TypeVarId]) -> set[TypeVarId]: |
| 561 | """Find type variables for which we are solving in a target type.""" |
| 562 | return {tv.id for tv in get_all_type_vars(target)} & set(vars) |
| 563 | |
| 564 | |
| 565 | def pre_validate_solutions( |
no test coverage detected
searching dependent graphs…