(
typ: Type, var: Var, itype: Instance, original_itype: Instance, mx: MemberContext
)
| 952 | |
| 953 | |
| 954 | def expand_without_binding( |
| 955 | typ: Type, var: Var, itype: Instance, original_itype: Instance, mx: MemberContext |
| 956 | ) -> Type: |
| 957 | if not mx.preserve_type_var_ids: |
| 958 | typ = freshen_all_functions_type_vars(typ) |
| 959 | typ = expand_self_type_if_needed(typ, mx, var, original_itype) |
| 960 | expanded = expand_type_by_instance(typ, itype) |
| 961 | freeze_all_type_vars(expanded) |
| 962 | return expanded |
| 963 | |
| 964 | |
| 965 | def expand_and_bind_callable( |
no test coverage detected
searching dependent graphs…