(self, ref: RefExpr)
| 1158 | self.chk.replace_partial_type(var, new_type, partial_types) |
| 1159 | |
| 1160 | def get_partial_var(self, ref: RefExpr) -> tuple[Var, dict[Var, Context]] | None: |
| 1161 | var = ref.node |
| 1162 | if var is None and isinstance(ref, MemberExpr): |
| 1163 | var = self.get_partial_self_var(ref) |
| 1164 | if not isinstance(var, Var): |
| 1165 | return None |
| 1166 | partial_types = self.chk.find_partial_types(var) |
| 1167 | if partial_types is None: |
| 1168 | return None |
| 1169 | return var, partial_types |
| 1170 | |
| 1171 | def try_infer_partial_value_type_from_call( |
| 1172 | self, e: CallExpr, methodname: str, var: Var |
no test coverage detected